satisfiability project for heuristic optimization