fieldSAT is a CDCL SAT solver which i created for an informal competition in my logic class in my second year of university. fieldSAT won the competition, though i continue to update it with further optimisations. fieldSAT uses a two-watched literal scheme for unit propagation, the VSIDS heuristic for variable activity, a basic clause list pruning strategy and a geometric restart strategy.
▶ read more (coming soon)