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: