Activity for SLlibhttps://sourceforge.net/p/sllib/activity/Recent activity for SLlibenThu, 04 Jun 2015 18:02:01 -0000Federico Cerutti committed [d75c03]https://sourceforge.net/p/sllib/code/ci/d75c0368c8873a45ac7327501adfbf53d5842fd3/tostring formatFederico CeruttiThu, 04 Jun 2015 18:02:01 -0000https://sourceforge.net/p/sllib/code/ci/d75c0368c8873a45ac7327501adfbf53d5842fd3/Federico Cerutti committed [b96df7]https://sourceforge.net/p/sllib/code/ci/b96df7d9a2106e5355c7356442bc07de545830b5/discounting operatorsFederico CeruttiThu, 04 Jun 2015 17:42:54 -0000https://sourceforge.net/p/sllib/code/ci/b96df7d9a2106e5355c7356442bc07de545830b5/Federico Cerutti committed [fdfc5c]https://sourceforge.net/p/sllib/code/ci/fdfc5c9aa81dee4f90919eb83a7b650292f871ff/bugfix in the constrainsts and in deduction ope...Federico CeruttiMon, 01 Jun 2015 16:31:57 -0000https://sourceforge.net/p/sllib/code/ci/fdfc5c9aa81dee4f90919eb83a7b650292f871ff/Federico Cerutti committed [c2eff4]https://sourceforge.net/p/sllib/code/ci/c2eff4bf7ec8ef6abe82bd0887cbcd1036f801db/initial commit:Federico CeruttiFri, 29 May 2015 19:01:55 -0000https://sourceforge.net/p/sllib/code/ci/c2eff4bf7ec8ef6abe82bd0887cbcd1036f801db/