close

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

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

Branch: CURRENT, Version: 25.2.0, Package name: adasat-gnat14-25.2.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:

Filesize: 29.979 KB

Version history: (Expand)

CVS history: (Expand)


   2025-10-09 15:38:19 by Dmytro Kazankov | Files touched by this commit (2) | Package updated
Log message:
ada-adasat-25: update to upstream release 25.2
   2025-09-24 07:54:54 by Dmytro Kazankov | Files touched by this commit (2) 
Log message:
ada-adasat-25: fix huge /tmp waste during testing
   2025-09-22 20:26:02 by Dmytro Kazankov | Files touched by this commit (3) 
Log message:
ada-adasat-25: make tests available
   2025-09-04 11:24:56 by Dmytro Kazankov | Files touched by this commit (10) 
Log message:
ada-[xmlada,libgpr,gnatcoll-*,vss,prettier-ada,adasat]-25: pkglinting recent changes
   2025-09-04 09:55:37 by Dmytro Kazankov | Files touched by this commit (1) 
Log message:
ada-adasat-25: add in-place build support
   2025-07-10 17:47:58 by Dmytro Kazankov | Files touched by this commit (6) 
Log message:
math/ada-adasat-25: Add new package version 25.0.0

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