# # ChangeLog for liacs/SCA2010/BDD # # Generated by Trac 1.6 # Nov 28, 2024, 3:06:10 PM Wed, 30 Jun 2010 20:03:44 GMT Rick van der Zwet [135] * liacs/SCA2010/BDD/report.tex (modified) Bunch of formula's added Wed, 30 Jun 2010 20:03:29 GMT Rick van der Zwet [134] * liacs/SCA2010/BDD/latex.mk (modified) Left of the screen by default Tue, 29 Jun 2010 05:46:24 GMT Rick van der Zwet [133] * liacs/SCA2010/BDD/report.tex (modified) Changes made on the bus Sat, 26 Jun 2010 16:34:59 GMT Rick van der Zwet [132] * liacs/SCA2010/BDD/report.tex (modified) Going for dinner Sat, 26 Jun 2010 15:38:22 GMT Rick van der Zwet [131] * liacs/SCA2010/BDD/report.tex (modified) Explain about effienty Sat, 26 Jun 2010 14:59:51 GMT Rick van der Zwet [130] * liacs/SCA2010/BDD/report.tex (modified) Introduction foo Sat, 26 Jun 2010 14:46:35 GMT Rick van der Zwet [129] * liacs/SCA2010/BDD/latex.mk (modified) Page options 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