Alastair Hogge a89308146a math/adasat: New Port, DPLL-based SAT solver in Ada ...

SAT solver based on Davis–Putnam–Logemann–Loveland (DPLL) based
propositional satisfiability in Ada.

Supported features include:
* Conflict analysis and backjumping
* Two-watched literals scheme
* Built-in support for At-Most-One constraints
* Custom theories

PR:		296552

2026-07-21 14:56:33 +02:00

..

files

…

distinfo

…

Makefile

…

pkg-descr

…

pkg-plist

…