Version 1.0

• CDCL procedure
• VSIDS
• Luby sequence restart scheme
• Pigeonhole problem implementation
• Proof generation with dot (graphviz)
• Semplification on restart
• 1UIP for restart and learning clause
• Init sussumption