24.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-24.0.0.toml
Build and platform metadata 2 fields
- Configuration
{
"disabled": true
}
- Additional origin data
{
"hashes": [
"sha512:46db8c9a613e49551a7cb35593320b5a4eb11309c0d0b112f6ef391ac5ccb1c8b234906535f4010d2b3a563740a031b0ec5da6c2318758439bb43798ecaf83fd"
]
}