Optimization in field of Resource Contrained Project Scheduling (RCPS) problems as a reduction to SAT. The implementation uses MiniSat.