https://github.com/msakai/pseudo-boolean

Haskell library for parsing/generating OPB/WBO files used in pseudo boolean competition.
https://github.com/msakai/pseudo-boolean

parsing pseudo-boolean

Last synced: 3 months ago
JSON representation

Haskell library for parsing/generating OPB/WBO files used in pseudo boolean competition.

• Host: GitHub
• URL: https://github.com/msakai/pseudo-boolean
• Owner: msakai
• License: bsd-3-clause
• Created: 2015-05-23T12:37:43.000Z (about 10 years ago)
• Default Branch: master
• Last Pushed: 2025-02-21T15:13:29.000Z (4 months ago)
• Last Synced: 2025-03-18T05:34:19.558Z (3 months ago)
• Topics: parsing, pseudo-boolean
• Language: Haskell
• Homepage:
• Size: 107 KB
• Stars: 3
• Watchers: 2
• Forks: 0
• Open Issues: 2
• Metadata Files:
  • Readme: README.md
  • Changelog: CHANGELOG.markdown
  • License: LICENSE

Awesome Lists containing this project

README

        
# pseudo-boolean

Haskell library for parsing/generating OPB/WBO files used in pseudo boolean competition.

[![Build Status](https://github.com/msakai/pseudo-boolean/actions/workflows/build.yaml/badge.svg)](https://github.com/msakai/pseudo-boolean/actions/workflows/build.yaml)

[![Coverage Status](https://coveralls.io/repos/msakai/pseudo-boolean/badge.svg)](https://coveralls.io/r/msakai/pseudo-boolean)

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

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

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