Giters
brent-vw
/
Convert-CNF
Convert logical problem to CNF
Geek Repo:
Geek Repo
Github PK Tool:
Github PK Tool
Stargazers:
0
Watchers:
0
Issues:
0
Forks:
0
java
logical-operators
cnf-clauses
cnf
This repository is not active
About
Convert logical problem to CNF
java
logical-operators
cnf-clauses
cnf
License:
MIT License
Languages
Language:
Java
100.0%