(Easy to Understand - Highly Commented Code) Features:

1. Conflict Driven Clause Learning
2. Clever Heuristics - VSIDS
3. 2 - Literal watch advanced data structure
4. Random restarts with restart probability decay

Comparison with Edusat:
---------------------------------------------------------------------------------------------------
| Files : bmc-2.cnf | bmc-7.cnf | unsat3.cnf | par8.cnf | aim-50 | aim100 | zebra |
| ------------------- | ----------- | --------- | ---------- | -------- | ------ | ------ | ----- |
| Variables: | 2810 | 8710 | 13 | 64 | 50 | 100 | 155 |
| SATPIE | 15.5 | 24.1 | 0.001 | 0.014 | 0.015 | 0.013 | 0.016 |
| Edusat | 0.26 | 0.324 | 0.15 | 0.014 | 0.031 | 0.013 | 0.4 |