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

Alpha version 1.0

Composition of this release:

• CDCL procedure
• VSIDS heuristic
• LUBY sequence heuristic for restart
• PIGEONHOLE problem implementation
• Proof generation on terminal or graphviz
• Deletion clauses on restart
• 1UIP for restart decision