https://git.martlubbers.net - ker1415-1.git/search

2014-11-19	Caspar Safarlou	hp.pl vervangen door isHittingSet.pl en report en comments...	commit \| commitdiff \| tree
2014-11-18	Caspar Safarlou	added diagnoses extraction from tree	commit \| commitdiff \| tree
2014-11-17	Caspar Safarlou	clarified names and comments	commit \| commitdiff \| tree
2014-11-17	Caspar Safarlou	added underscores where usefull and deleted useless...	commit \| commitdiff \| tree
2014-11-17	Caspar Safarlou	added hittingset code and edited report	commit \| commitdiff \| tree
2014-11-15	Caspar Safarlou	added examples	commit \| commitdiff \| tree
2014-11-14	Caspar Safarlou	isHittingTree(tree) uitgewerkt	commit \| commitdiff \| tree
2014-11-12	Caspar Safarlou	Merge branch 'master' of https://github.com/dopefishh...	commit \| commitdiff \| tree
2014-11-12	Caspar Safarlou	ik ben een mens	commit \| commitdiff \| tree
2014-11-12	Caspar Safarlou	add second assigment prolog source files	commit \| commitdiff \| tree
2014-11-12	Caspar Safarlou	test toegevoegd	commit \| commitdiff \| tree
2014-10-21	Caspar Safarlou	veel werk gedaan	commit \| commitdiff \| tree

1415-S1 - SOW-BKI312: Knowledge representation and reasoning