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: about 2 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 (over 5 years ago)
• Default Branch: master
• Last Pushed: 2022-03-05T22:37:49.000Z (almost 3 years ago)
• Last Synced: 2024-04-20T00:54:19.627Z (9 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: 7
• Forks: 1
• Open Issues: 0

Awesome Lists containing this project