Inter-Process Communication project for my Operating Systems class that allows solving multiple SAT problems concurrently.