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
- Repository:
- https://github.com/AdaCore/AdaSAT
- License(s):
- Apache-2.0 WITH LLVM-exception
- Version:
- 26.0.0-2
- External:
- Vulnerabilities:
- Not enough metadata for vulnerability reporting
- Binary Packages:
-
- ucrt64