Default Branch

master 1d938273f3 · Changed main.c back to normal run mode from testing · Updated 2022-07-18 16:46:04 +00:00

ZIP  TAR.GZ

Branches

feature/gpu-adapt 3f54ad3f6e · Commit most recent local copy · Updated 2025-04-06 02:32:13 +00:00    lev	0 6	Compare	ZIP  TAR.GZ
develop 84374e23fd · Merge pull request #12 from tomatolib/feature/subsumption-early · Updated 2022-08-21 17:07:03 +00:00    lev	0 3	Compare	ZIP  TAR.GZ
feature/subsumption-tree a0e1d4f5b4 · Added new CNF format · Updated 2022-07-24 21:47:31 +00:00    lev	0 2	Compare	ZIP  TAR.GZ