@hackage satchmo-toysat0.2.0.0

toysat driver as backend for satchmo

satchmo-toysat

Build Status

toysat driver as backend for satchmo