repositories / ar1516.git / search
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
solution for 3a
2016-01-03 Mart Lubberssolution for 3a
 commit | commitdiff | tree
2016-01-03 Mart Lubbersdone with 1
 commit | commitdiff | tree
2016-01-03 Mart Lubbersupdate, table
 commit | commitdiff | tree
2016-01-03 Mart Lubbersadded stuff about 3a
 commit | commitdiff | tree
2016-01-03 Mart Lubbersupdate 3b fixed
 commit | commitdiff | tree
2016-01-02 Mart Lubbersfinal model a4
 commit | commitdiff | tree
2016-01-02 Mart Lubbersbig update, better formalization for pegsol
 commit | commitdiff | tree
2016-01-01 Mart Lubbersadd solution a4
 commit | commitdiff | tree
2015-12-24 Mart Lubberspretty solution'
 commit | commitdiff | tree
2015-12-23 Mart Lubberssuccess with 4:)
 commit | commitdiff | tree
2015-12-22 Mart Lubbersupdate
 commit | commitdiff | tree
2015-12-16 Mart Lubbersup
 commit | commitdiff | tree
2015-12-16 Mart Lubbersupdate code'
 commit | commitdiff | tree
2015-12-15 Mart Lubberssome update'
 commit | commitdiff | tree
2015-12-04 Mart LubbersMerge branch 'master' of ygdrassil_git:ar1516
 commit | commitdiff | tree
2015-12-04 Mart Lubberssmall update
 commit | commitdiff | tree
2015-11-29 Mart Lubbersadd description
 commit | commitdiff | tree
2015-11-29 Mart LubbersMerge branch 'master' of ygdrassil:/mnt/data/git/ar1516
 commit | commitdiff | tree
2015-11-29 Mart Lubberstry for 3b
 commit | commitdiff | tree
2015-11-27 Mart Lubberslicence added
 commit | commitdiff | tree
2015-11-26 Mart Lubbers2 solved
 commit | commitdiff | tree
2015-11-24 Mart Lubbersupdate for a2e1
 commit | commitdiff | tree
2015-11-23 Mart Lubbersstarted with a2
 commit | commitdiff | tree
2015-11-10 Mart Lubbersstarted with a2
 commit | commitdiff | tree
2015-10-30 Mart Lubbersfinal commit
 commit | commitdiff | tree
2015-10-29 Mart Lubbersupdate
 commit | commitdiff | tree
2015-10-27 Mart Lubbersupdate README typo
 commit | commitdiff | tree
2015-10-26 Mart Lubbersremove typo
 commit | commitdiff | tree
2015-10-26 Mart Lubbersupdate, now final
 commit | commitdiff | tree
2015-10-26 Mart Lubbersfinal bijna
 commit | commitdiff | tree
2015-10-26 Mart Lubbersupdate
 commit | commitdiff | tree
2015-10-26 Mart Lubbersupdate requirements
 commit | commitdiff | tree
2015-10-26 Mart Lubbersupdate with dynamic solution for problem 1
 commit | commitdiff | tree
2015-10-26 Mart Lubberstypo readme
 commit | commitdiff | tree
2015-10-26 Mart Lubbersinitial commit, transfer from own repo
 commit | commitdiff | tree
1516-S1 - NWI-IMC009: Automated Reasoning