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

[![Build Status](https://secure.travis-ci.org/msakai/ersatz-toysat.png?branch=master)](http://travis-ci.org/msakai/ersatz-toysat) [![Hackage](https://img.shields.io/hackage/v/ersatz-toysat.svg)](https://hackage.haskell.org/package/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.