repositories / ar1516.git / summary
? search:
summary | shortlog | log | commit | commitdiff | tree

 
description1516-S1 - NWI-IMC009: Automated Reasoning
last changeTue, 5 Jan 2016 17:57:58 +0000 (18:57 +0100)
URLhttps://git.martlubbers.net/ar1516.git
shortlog
2016-01-05 Mart Lubbersspellcheck master commit | commitdiff | tree | snapshot
2016-01-05 Mart Lubbers4 updated commit | commitdiff | tree | snapshot
2016-01-04 Mart Lubbersadded time for z4 problem 4 commit | commitdiff | tree | snapshot
2016-01-04 Mart Lubberstidied up 4, done commit | commitdiff | tree | snapshot
2016-01-04 Mart Lubberscleaned up and finished 1-3 commit | commitdiff | tree | snapshot
2016-01-04 Mart Lubbersupdate commit | commitdiff | tree | snapshot
2016-01-04 Mart Lubbersfixed 1 commit | commitdiff | tree | snapshot
2016-01-03 Mart Lubbersupdate spellcheck commit | commitdiff | tree | snapshot
2016-01-03 Mart Lubberssolution for 3a commit | commitdiff | tree | snapshot
2016-01-03 Mart Lubbersdone with 1 commit | commitdiff | tree | snapshot
2016-01-03 Mart Lubbersupdate, table commit | commitdiff | tree | snapshot
2016-01-03 Mart Lubbersadded stuff about 3a commit | commitdiff | tree | snapshot
2016-01-03 Mart Lubbersupdate 3b fixed commit | commitdiff | tree | snapshot
2016-01-02 Mart Lubbersfinal model a4 commit | commitdiff | tree | snapshot
2016-01-02 Mart Lubbersbig update, better formalization for pegsol commit | commitdiff | tree | snapshot
2016-01-01 Mart Lubbersadd solution a4 commit | commitdiff | tree | snapshot
...
heads
8 years ago master shortlog | log | tree
1516-S1 - NWI-IMC009: Automated Reasoning