./wip/adasat, Implementation of a DPLL-based SAT solver in Ada

[ CVSweb ] [ Homepage ] [ RSS ] [ Required by ] [ Add to tracker ]

Branch: CURRENT, Version: 25.0.0, Package name: adasat-25.0.0, Maintainer: pkgsrc-users

Implementation of a DPLL-based SAT solver in Ada

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

Master sites:

Filesize: 29.987 KB

Version history: (Expand)