SAT Solver

[FloydZ]

based on kissat

• extract the basic layout (start -> solve -> exit), specially the solve loop
• basic parsing of DIMACS format
• think how to add the heustirics as modules