[![Build Status](https://travis-ci.org/kmcallister/sat.svg?branch=master)](https://travis-ci.org/kmcallister/sat)
Interface for defining and solving Boolean satisfiability (SAT) problems in
Rust.
[Documentation](https://kmcallister.github.io/docs/sat/sat/index.html)