• 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