gothictomato
|
a0e1d4f5b4
|
Added new CNF format
Signed-off-by: gothictomato <gothictomato@pm.me>
|
2022-07-24 17:47:31 -04:00 |
|
gothictomato
|
8e34675408
|
Initial progress on subsumption DFA. Why is this branch called subsumption-tree?
|
2022-07-21 10:56:05 -04:00 |
|
gothictomato
|
511ab6c8d8
|
Changed main.c back to normal run mode from testing
Signed-off-by: gothictomato <gothictomato@pm.me>
|
2022-07-17 21:42:47 -04:00 |
|
gothictomato
|
7ce1e80739
|
Added test cases
Signed-off-by: gothictomato <gothictomato@pm.me>
|
2022-07-17 21:40:34 -04:00 |
|
gothictomato
|
2ad31d53e3
|
Initial commit.
|
2022-07-17 14:03:47 -04:00 |
|