satchmo-toysat
==============

[![Build Status](https://secure.travis-ci.org/msakai/satchmo-toysat.png?branch=master)](http://travis-ci.org/msakai/satchmo-toysat) [![Hackage](https://budueba.com/hackage/satchmo-toysat)](https://hackage.haskell.org/package/satchmo-toysat)

toysat driver as backend for satchmo