Base Package: mingw-w64-adasat

Description:
Implementation of a DPLL-based SAT solver in Ada (mingw-w64)
Base Group(s):
-
Repo(s):
mingw64, ucrt64
Homepage:
https://github.com/AdaCore/AdaSAT
License(s):
Apache-2.0 WITH LLVM-exception
Version:
24.0.0-1
GIT Version:
24.0.0-1
Anitya:
adasat
AUR:
24.0w
Repology:
adasat
Vulnerabilities:
Not enough metadata for vulnerability scanning

Binary Packages:
Last Update: 2024-04-24 15:12:06 [Request update]