ersatz-toysat
=============

[![Build Status](https://secure.travis-ci.org/msakai/ersatz-toysat.png?branch=master)](http://travis-ci.org/msakai/ersatz-toysat)

toysat driver as backend for ersatz

Examples
--------

The contents of `examples/` directory are copied from ersatz package and modified to use the toysat driver as backend.