# sat

[![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)