ALR logo

Alire

Adasat

Website:

https://github.com/AdaCore/adasat

Author:
  • AdaCore
Maintainer:
  • chouteau@adacore.com
License:

Apache-2.0 WITH LLVM-exception

Version:

24.0.0

Alire CI:

Dependencies:

No dependency.

Dependents: Badge:

Implementation of a DPLL-based SAT solver in Ada.

#sat #solver #theories

Main features:

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