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

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

Last synced: 3 months ago
JSON representation

toysat driver as backend for satchmo

• Host: GitHub
• URL: https://github.com/msakai/satchmo-toysat
• Owner: msakai
• License: bsd-3-clause
• Created: 2015-01-07T13:10:55.000Z (almost 10 years ago)
• Default Branch: master
• Last Pushed: 2022-09-15T10:34:26.000Z (over 2 years ago)
• Last Synced: 2024-09-23T07:37:59.684Z (3 months ago)
• Language: Haskell
• Size: 23.4 KB
• Stars: 2
• Watchers: 3
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

README

        
satchmo-toysat

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

[![Build status](https://github.com/msakai/satchmo-toysat/actions/workflows/build.yaml/badge.svg)](https://github.com/msakai/satchmo-toysat/actions/workflows/build.yaml)

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

[![Hackage Deps](https://img.shields.io/hackage-deps/v/satchmo-toysat.svg)](https://packdeps.haskellers.com/feed?needle=satchmo-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 [satchmo](https://hackage.haskell.org/package/satchmo)