• assignment.beh
  • bak-solver
  • cnf.beh
  • constraint.beh
  • csp.beh
  • equals.beh
  • history.beh
  • meanutils
  • program.beh
  • program.cd
  • program.input
  • program.input2
  • program.input3
  • program.input4
  • program.prj
  • readme.txt
  • rules.beh
  • tests.beh