Geeks
mhallin
/
socrates
SAT-based logic reasoning toolbox/playground
Primary Language
Rust
socrates GitHub
Markdown
Readme
0
Issues
1
Stargazer
3
Watchers
This repository is not active