2 Commits

Author	SHA1	Message	Date
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