This is my implementation of sat-solver. It's architecture is CDCL (DPLL + learning) and It is inspired by MiniSAT. It was written for task in school and can solve Weighted-Max-3SAT for up to 150 variables quite effective.
Apache License, Version 2.0, (https://www.apache.org/licenses/LICENSE-2.0)