Skip to content
Snippets Groups Projects
Select Git revision
No matching results
An error occurred while fetching branches. Retry the search.
An error occurred while fetching tags. Retry the search.
You can move around the graph by using the arrow keys.
Created with Raphaël 2.2.011Mar1Apr8Mar22FebAdd three-value boolmainmainSimplify names of add_X functionsAdd var_t in types + index op in clause/formulaAdd assignments, watched maps + initializationSplit literal to var and polarity in pick_unassignedAllow unlimited number of literals in clauseAdd basic skeleton for solverMake types iterable + add constexprMake literal a structClean up includesAdd -fmax-errors=1 to makefileMove printing to a separate fileUpdate READMEAdd basic DIMACS parserAdd simple clause and formula structsAdd test dataAdd header files to makefileAdd gitignoreAdd makefileAdd simple main functionInitial commit