Geeks
RustemB
/
unlogic
Disjunctive normal form solver
Primary Language
HTML
GNU General Public License v3.0
GPL-3.0
unlogic Home Page
unlogic GitHub
Markdown
Readme
0
Issues
1
Stargazer
2
Watchers
unlogic - Disjunctive normal form solver