A MaxSAT solver tailored to the incomplete MaxSAT problem
A highly customizable timetabling software for educational institutions that encodes timetabling constraints as a SAT formula and solves them using a MaxSAT solver
An abstract interpreter for an integer interval domain supporting basic operations
A SAT solver implementing the CDCL algorithm
A SAT solver implementing the DPLL algorithm
A partial unweighted MaxSAT solver
Simulates execution of MIPS programs
A multiplayer platformer using C++ and Qt, that can be played in a single device or over a local network