| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | math/adasat: New Port, DPLL-based SAT solver in Ada | Alastair Hogge | 2026-07-21 | 1 | -0/+63 |
| 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 | |||||
 |
index : ports | |
| FreeBSD ports tree |
| aboutsummaryrefslogtreecommitdiff |