https://github.com/imandra-ai/abstract-transition-systems
[alpha] An implementation of several classic transition systems that describe algorithms for SAT or SMT, for interactive exploration
https://github.com/imandra-ai/abstract-transition-systems
cdcl dpll-algorithm formalization ocaml sat smt
Last synced: 7 months ago
JSON representation
[alpha] An implementation of several classic transition systems that describe algorithms for SAT or SMT, for interactive exploration
- Host: GitHub
- URL: https://github.com/imandra-ai/abstract-transition-systems
- Owner: imandra-ai
- Created: 2019-09-09T15:42:42.000Z (about 6 years ago)
- Default Branch: master
- Last Pushed: 2022-03-05T22:37:49.000Z (over 3 years ago)
- Last Synced: 2025-03-16T00:14:44.553Z (7 months ago)
- Topics: cdcl, dpll-algorithm, formalization, ocaml, sat, smt
- Language: OCaml
- Homepage: https://docs.imandra.ai/abstract-transition-systems/ats_web.html
- Size: 229 KB
- Stars: 1
- Watchers: 6
- Forks: 1
- Open Issues: 0