SAT tools - small SAT formula generator from assignments, some algorithms. NOT intended for efficiency.