archsat

A proof-producing SMT/McSat solver, handling polymorphic first-order logic, and using an SMT/McSat core extended using Tableaux, Superposition and Rewriting.

ocaml

View on GitHub

29 Stars

5 Forks

2 Watchers

OCaml Language

mit License

79.4 SrcLog Score

Cost to Build

$155.6K

Market Value

$172.8K

How is this calculated?

Growth over time

13 data points · 2021-08-01 → 2026-11-01

Stars Forks Watchers

💬

How do you feel about this project?

Ask AI about archsat

Question copied to clipboard

What is the Gbury/archsat GitHub project? Description: "A proof-producing SMT/McSat solver, handling polymorphic first-order logic, and using an SMT/McSat core extended using Tableaux, Superposition and Rewriting.". Written in OCaml. Explain what it does, its main use cases, key features, and who would benefit from using it.