Play Single Player
>Start A Game< >Join A Game<
Connect to the Funsat Ventrilo server! IP: / Hostname: 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