RSPP

Types

Pledge

data Pledge c

PledgeClause

data PledgeClause c

Functions

solve

evalClause

evalPledge

evalPledges

pledgeMax

pledgeMin

maxPledges

minPledges