@hackage ersatz-toysat0.2.0.0

toysat driver as backend for ersatz

ersatz-toysat

Build Status

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.