Giters
FrancescaPerin
/
BScProject
Geek Repo:
Geek Repo
Github PK Tool:
Github PK Tool
Stargazers:
1
Watchers:
0
Issues:
3
Forks:
0
FrancescaPerin/BScProject Issues
More efficient isTaut() method (sequent calc. ?)
Closed
5 years ago
Make a simple satisfiability engine?
Closed
5 years ago
make (simple) parser to input phi and psi
Closed
5 years ago