Play Single Player
>Start A Game< >Join A Game<
Connect to the Funsat Ventrilo server! IP: 141.213.4.198 / Hostname: funsat.eecs.umich.edu Port:3784

Try the original version, FunSATv1.0 here

Note: Currently supported browsers are Firefox and Chrome. Best performance experienced in Chrome.

Welcome to FunSAT


FunSAT is an interactive game where people work together to solve Boolean satisfiability problems.

Funsat Tutorial


SAT Tutorial