hal8174 6b9785dc1f Add improved representation for normal forms		2024-10-13 01:02:27 +02:00
..
bin	Fix bugs and add cmd interface	2024-10-10 16:25:24 +02:00
dpll.rs	Add expression manipulation	2024-10-09 01:02:48 +02:00
dpll_normal_form.rs	Add improved representation for normal forms	2024-10-13 01:02:27 +02:00
expr.rs	Replace owned strings with references in expressions	2024-10-11 23:33:04 +02:00
main.rs	Add improved representation for normal forms	2024-10-13 01:02:27 +02:00
normal_form.rs	Add improved representation for normal forms	2024-10-13 01:02:27 +02:00