Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
https://github.com/gbury/archsat
A proof-producing SMT/McSat solver, handling polymorphic first-order logic, and using an SMT/McSat core extended using Tableaux, Superposition and Rewriting.
https://github.com/gbury/archsat
formal-proofs ocaml polymorphism rewriting sat smt theorem-proving
Last synced: 2 months ago
JSON representation
A proof-producing SMT/McSat solver, handling polymorphic first-order logic, and using an SMT/McSat core extended using Tableaux, Superposition and Rewriting.
- Host: GitHub
- URL: https://github.com/gbury/archsat
- Owner: Gbury
- License: mit
- Created: 2018-08-19T09:24:33.000Z (over 6 years ago)
- Default Branch: master
- Last Pushed: 2023-07-13T08:33:05.000Z (over 1 year ago)
- Last Synced: 2023-11-18T10:00:21.191Z (about 1 year ago)
- Topics: formal-proofs, ocaml, polymorphism, rewriting, sat, smt, theorem-proving
- Language: OCaml
- Homepage:
- Size: 2.14 MB
- Stars: 24
- Watchers: 3
- Forks: 3
- Open Issues: 0