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.

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.