Ecosyste.ms: Awesome

An open API service indexing awesome lists of open source software.

Awesome Lists | Featured Topics | Projects

https://github.com/msakai/ersatz-toysat

toysat driver as backend for ersatz
https://github.com/msakai/ersatz-toysat

Last synced: 3 months ago
JSON representation

toysat driver as backend for ersatz

Host: GitHub
URL: https://github.com/msakai/ersatz-toysat
Owner: msakai
License: bsd-3-clause
Created: 2015-01-06T14:40:14.000Z (almost 10 years ago)
Default Branch: master
Last Pushed: 2022-08-30T14:25:09.000Z (over 2 years ago)
Last Synced: 2024-10-01T15:46:35.062Z (3 months ago)
Language: Haskell
Size: 31.3 KB
Stars: 2
Watchers: 3
Forks: 0
Open Issues: 0
Metadata Files:
- Readme: README.md
- License: LICENSE

Awesome Lists containing this project

README

        ersatz-toysat

=============

[![Haskell-CI](https://github.com/msakai/ersatz-toysat/actions/workflows/haskell-ci.yml/badge.svg)](https://github.com/msakai/ersatz-toysat/actions/workflows/haskell-ci.yml)

[![Hackage](https://img.shields.io/hackage/v/ersatz-toysat.svg)](https://hackage.haskell.org/package/ersatz-toysat)

[![Hackage Deps](https://img.shields.io/hackage-deps/v/ersatz-toysat.svg)](https://packdeps.haskellers.com/feed?needle=ersatz-toysat)

[![License](https://img.shields.io/badge/License-BSD%203--Clause-blue.svg)](https://opensource.org/licenses/BSD-3-Clause)

[toysat](https://hackage.haskell.org/package/toysolver) driver as backend for [ersatz](https://hackage.haskell.org/package/ersatz)

Examples

--------

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