MySAT is simple SAT solver with CDCL algorithm (sorry not tunned).