pkgsrc.se | The NetBSD package collection

./math/ada-adasat-24, Implementation of a DPLL-based SAT solver in Ada, release 24

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

Branch: CURRENT, Version: 24.0.0, Package name: adasat-gnat13-24.0.0, Maintainer: dkazankov

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:

https://github.com/AdaCore/ (Download)

Filesize: 29.383 KB

Version history: (Expand)

(2025-10-24) Package has been reborn
(2025-10-24) Package deleted from pkgsrc
(2025-07-15) Package has been reborn
(2025-07-15) Package deleted from pkgsrc
(2025-07-10) Package added to pkgsrc.se, version adasat-gnat13-24.0.0 (created)

CVS history: (Expand)

2025-07-10 17:27:43 by Dmytro Kazankov | Files touched by this commit (2)

Log message:
math/ada-adasat-24: package linting

2025-07-10 16:03:15 by Dmytro Kazankov | Files touched by this commit (6)

Log message:
math/ada-adasat-24: Add new package 24.0.0

Implementation of a DPLL-based SAT solver in Ada, release 24