3 Commits

Author	SHA1	Message	Date
gothictomato	5d3812b998	Added more comments to cnf.c	2022-07-18 02:19:32 -04:00
gothictomato	63810804fb	Added some comments, fixed what I think is a bug in the clause sorting.	2022-07-18 02:05:22 -04:00
gothictomato	2ad31d53e3	Initial commit.	2022-07-17 14:03:47 -04:00