@hackage / satchmo-funsat

funsat driver as backend for satchmo