# # ChangeLog for liacs/SCA2010/BDD # # Generated by Trac 1.6 # Nov 25, 2024, 12:45:20 AM Sun, 20 Jun 2010 19:53:35 GMT Rick van der Zwet [128] * liacs/SCA2010/BDD/report.tex (modified) Work in process we are getting somewhere... Sun, 20 Jun 2010 19:11:59 GMT Rick van der Zwet [127] * liacs/SCA2010/BDD/report.tex (modified) DK _really_ likes his math Sun, 20 Jun 2010 14:55:28 GMT Rick van der Zwet [126] * liacs/SCA2010/BDD/report.tex (modified) Initial framework to play around with BDD reports Sun, 20 Jun 2010 10:07:47 GMT Rick van der Zwet [121] * liacs/SCA2010 (moved) Better fit to the name of the course Sun, 20 Jun 2010 10:03:31 GMT Rick van der Zwet [120] * liacs/README (modified) * liacs/sca (added) * liacs/sca/BDD (copied) * liacs/sca/nQueens (copied) Template holders sCA papers