Changeset 141

Timestamp:
Sep 19, 2014, 1:11:04 PM (10 years ago)
Author:
krafczy
Message:
  • Fix xor to CNF conversion in RSFChoice
  • Restructure RSFConditions to allow a list of ConstraintSyntaxTrees?
  • Add support for default values (WIP)
(No files)

Note: See TracChangeset for help on using the changeset viewer.