math/adasat 26.0.0
DPLL-based SAT solver in Ada
- Repository
- FreeBSD ports
- Maintainer
- [email protected]
- Port added
- Last update
- Commit
ec57b05702- License
- APACHE20
- Categories
- math, devel
- Package size
- 501.6 KiB, 1152.3 KiB installed
Description
AdaSAT is an implementation of Davis–Putnam–Logemann–Loveland (DPLL) based propositional satisfiability problem (SAT) solver in Ada.
Supported features include: * Conflict analysis and backjumping * Two-watched literals scheme * Built-in support for At-Most-One constraints * Custom theories
Install
As a binary package — by origin, or by package name:
pkg install math/adasat
pkg install adasatFrom the ports tree:
cd /usr/ports/math/adasat/ && make install cleanTo depend on this port in another port's Makefile:
RUN_DEPENDS= adasat>0:math/adasat
LIB_DEPENDS= libadasat.so:math/adasatPackages
The version each package repository carries. “-” means the repository builds no package of it, “n/a” that there is no such repository.
| Repository | aarch64 | amd64 | armv6 | armv7 | i386 |
|---|---|---|---|---|---|
| FreeBSD:14:latest | 26.0.0 | 26.0.0 | - | - | - |
| FreeBSD:14:quarterly | 26.0.0 | 26.0.0 | n/a | - | - |
| FreeBSD:15:latest | 26.0.0 | 26.0.0 | n/a | - | - |
| FreeBSD:15:quarterly | 26.0.0 | 26.0.0 | n/a | n/a | n/a |
| FreeBSD:16:latest | 26.0.0 | 26.0.0 | n/a | n/a | n/a |
| FreeBSD:16:quarterly | n/a | n/a | n/a | n/a | n/a |
Dependencies
As this port's Makefile names them.
Build 1
gprbuild>0: devel/gprbuild
Test 1
${PYTHON_PKGNAMEPREFIX}e3_testsuite>0: devel/py-e3-testsuite
The full lists below include those, and their dependencies in turn.
All build dependencies 12
All run dependencies 11
No port depends on this one.
Configuration
No options to configure.
- USES
- ada:run python:test
- Service scripts
- none
Files
pkg-plist 50
- include/adasat/adasat-builders.adb
- include/adasat/adasat-builders.ads
- include/adasat/adasat-decisions.adb
- include/adasat/adasat-decisions.ads
- include/adasat/adasat-dpll.adb
- include/adasat/adasat-dpll.ads
- include/adasat/adasat-formulas.adb
- include/adasat/adasat-formulas.ads
- include/adasat/adasat-helpers.adb
- include/adasat/adasat-helpers.ads
- include/adasat/adasat-internals.ads
- include/adasat/adasat-theory.ads
- include/adasat/adasat-vectors.adb
- include/adasat/adasat-vectors.ads
- include/adasat/adasat.adb
- include/adasat/adasat.ads
- lib/adasat/relocatable/libadasat.so
- lib/adasat/relocatable/libadasat.so.
- lib/adasat/static-pic/libadasat.a
- lib/adasat/static/libadasat.a
- lib/libadasat.so
- lib/libadasat.so.
- libdata/adasat/relocatable/adasat-builders.ali
- libdata/adasat/relocatable/adasat-decisions.ali
- libdata/adasat/relocatable/adasat-dpll.ali
- libdata/adasat/relocatable/adasat-formulas.ali
- libdata/adasat/relocatable/adasat-helpers.ali
- libdata/adasat/relocatable/adasat-internals.ali
- libdata/adasat/relocatable/adasat-theory.ali
- libdata/adasat/relocatable/adasat-vectors.ali
- libdata/adasat/relocatable/adasat.ali
- libdata/adasat/static-pic/adasat-builders.ali
- libdata/adasat/static-pic/adasat-decisions.ali
- libdata/adasat/static-pic/adasat-dpll.ali
- libdata/adasat/static-pic/adasat-formulas.ali
- libdata/adasat/static-pic/adasat-helpers.ali
- libdata/adasat/static-pic/adasat-internals.ali
- libdata/adasat/static-pic/adasat-theory.ali
- libdata/adasat/static-pic/adasat-vectors.ali
- libdata/adasat/static-pic/adasat.ali
- libdata/adasat/static/adasat-builders.ali
- libdata/adasat/static/adasat-decisions.ali
- libdata/adasat/static/adasat-dpll.ali
- libdata/adasat/static/adasat-formulas.ali
- libdata/adasat/static/adasat-helpers.ali
- libdata/adasat/static/adasat-internals.ali
- libdata/adasat/static/adasat-theory.ali
- libdata/adasat/static/adasat-vectors.ali
- libdata/adasat/static/adasat.ali
- share/gpr/adasat.gpr
distinfo 1
| File | Size | SHA256 |
|---|---|---|
| AdaCore-AdaSAT-v26.0.0_GH0.tar.gz | 30714 | de4fa5a74fd4b27cf3fead6e8c9491f22b0ab4b7b591b076073c6ba2a870162c |