GitHub - EJahren/PBCompOutputChecker: A small utility program that checks the output from a PB solver and checks that it is correct according to the input opb file.

EJahren / PBCompOutputChecker Public

Notifications You must be signed in to change notification settings
Fork 0
Star 0

A small utility program that checks the output from a PB solver and checks that it is correct according to the input opb file.

View license

0 stars 0 forks Branches Tags Activity

Star

Notifications

Branches Tags

Name		Name	Last commit message	Last commit date
Latest commit History 3 Commits
src		src
LICENSE		LICENSE
PBCompOutputChecker.cabal		PBCompOutputChecker.cabal
README		README
Setup.hs		Setup.hs

Repository files navigation

PBCompOutputChecker
===================

Given the output from a PB solver that implements the output format given by
the PB competition, if the PB solver gives an assignment, PBCompOutputChecker
checks that the assignment satisfies the input formula.