Base Package: mingw-w64-adasat

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

Binary Packages:
ucrt64
mingw64
Last Update: 2024-12-12 07:15:14 [Request update]