OKlibrary  0.2.1.6
CardinalityConstraints.mac File Reference

Tests for translations of cardinality constraints into CNF. More...

Go to the source code of this file.


Detailed Description

Tests for translations of cardinality constraints into CNF.

Use by

oklib_load("OKlib/ComputerAlgebra/Satisfiability/Lisp/PseudoBoolean/tests/CardinalityConstraints.mac");

Bug:
DONE All tests regarding UCP (and unary encoding) must be removed.
  • MG : All tests? Or just those relating to the unproven assertion that any forced assignment follows by UCP (and not just forced assignments under partial assignments using only the original variables)?
  • All tests: UCP has nothing to do with these functions.
Todo:
DONE The text below regarding unary encoding needs a complete update.
  • Tests are now in line with other tests and any specification necessary is done in the main Cardinality.mac file.
Bug:
DONE okltest_unary_bb_totaliser_r_fcl_comb is a no-op

Definition in file CardinalityConstraints.mac.