#Automated-reasoning
Showing 3 of 3 repositories tagged #automated-reasoning, ranked by stars
sarsko
CreuSAT
CreuSAT - A formally verified SAT solver written in Rust and verified with Creusot.
Score
0
★ 688
⑂ 14
—
Rust
DebarghaG
proofofthought
Proof of thought : LLM-based reasoning using Z3 theorem proving with multiple backend support (SMT2 and JSON DSL)
Score
0
★ 374
⑂ 25
—
Python
dex3r
GPT-Codemaster
Automatic programming by creating Pull Requests from Issues using LLMs
Score
0
★ 63
⑂ 4
—
C#