Mercurial > repos > public > sbplib
graph
-
Added some stuff for default structs. Improved interface for beam. feature/beamsWed, 03 Aug 2016 12:30:27 +0200, by Jonatan Werpers
-
Beam: Added ability to pick alphaII and alphaIII to control tau and sigma. feature/beamsThu, 28 Jul 2016 12:50:43 +0200, by Jonatan Werpers
-
Beam: Added tuning as a parameter to contructor. feature/beamsFri, 15 Jul 2016 11:22:12 +0200, by Jonatan Werpers
-
scheme.Beam: Played around with tuning. feature/beamsThu, 14 Jul 2016 10:41:32 +0200, by Jonatan Werpers
-
Added verbose flag to semiDefIneq and minors. feature/beamsThu, 14 Jul 2016 10:40:57 +0200, by Jonatan Werpers