search

danielbinder / LogiVis

A teaching aid for concepts and algorithms in logic
MIT License
2 stars 0 forks source link

Add boolean algebra toCNF functionality with button #53

Open danielbinder opened 7 months ago

danielbinder commented 7 months ago

Create a boolean variant in the backend that converts a formula to cnf. If time permits, add a DIMACS cnf parser in the backend, but NOT in the frontend!