Added files for week3
Updated some of permutation tests
Added first parts of assignment; Permutations and Random
Fixed issue with getRandomForm getting two zeroes as parameters
Implemented randomized CNF tests
First attempt for FOL formula generator
Docs
Assignments
Parser additions
push
Test
Merge branch 'bas'
Randomize terms in atoms
Merge branch 'martijn'
fix quotes
Merge branch 'master' of https://github.com/martyn82/SST
fix length
fix
test code reduction
add test cnf