25.0.0
Main features:
- [X] Conflict analysis and backjumping
- [X] Two-watched literals scheme
- [X] Built-in support for At-Most-One constraints
- [X] Custom theories
- Authors
- AdaCore
- Maintainers
- chouteau@adacore.com
- Licenses
- Apache-2.0 WITH LLVM-exception
- Tags
- sat, solver, theories
- Manifest
- index/ad/adasat/adasat-25.0.0.toml
Build and platform metadata 2 fields
- Configuration
{
"disabled": true
}
- Additional origin data
{
"hashes": [
"sha512:0618d8c668bdb483845c746250c52fa03fa429af48ae5441492e16821e44f22a6cc4fef576f49f6368d2878b6e499de7e060acd55e678581bd1b13ba00490258"
]
}