⌘ /
Main features:
- [X] Conflict analysis and backjumping
- [X] Two-watched literals scheme
- [X] Built-in support for At-Most-One constraints
- [X] Custom theories
Install
Globally install this crate:
alr install adasatAdd to your project:
alr with adasatCrate Information
Authors
- AdaCore
Maintainers
Release Date
last year
First Release
12/18/2023
License
Links
Statistics
Dependencies: 0
Dependents: 4
Versions: 2