26.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, sagaert@adacore.com
- Licenses
- Apache-2.0 WITH LLVM-exception
- Tags
- sat, solver, theories
- Manifest
- index/ad/adasat/adasat-26.0.0.toml
Build and platform metadata 4 fields
- Configuration
{
"disabled": true
}
- GPR externals
{
"ADASAT_BUILD_MODE": [
"dev",
"prod",
"prof"
]
}
- Actions
[
{
"command": [
"sed",
"-i",
"-e",
"s/external (\"ADASAT_BUILD_MODE\", \"dev\")/external (\"ADASAT_BUILD_MODE\", \"prod\")/",
"adasat.gpr"
],
"type": "post-fetch"
},
{
"command": [
"sed",
"-i",
"-e",
"s/, \"-flto\");/);/",
"adasat.gpr"
],
"type": "post-fetch"
}
]
- Additional origin data
{
"hashes": [
"sha512:37336738b543040461e72c50a8e1341787766beba22c91e08c86f2bb24275ccac79f4e777e9cf23622c3e1d3bf0248bb34f10b9570f4307d1697f489781fd4b9"
]
}