rustsat-batsat 0.1.0

Interface to the SAT solver BatSat for the RustSAT library. BatSat is fully implemented in Rust
Documentation 
1
2
3
4
5
6

{
  "git": {
    "sha1": "67922be642d005b8ef4c8d771d91ea55caf6c322"
  },
  "path_in_vcs": "batsat"
}