Age | Commit message (Collapse) | Author | |
---|---|---|---|
2010-07-12 | inebriated, but sped up inside/outside pruning and made cube poplimit scale ↵ | graehl | |
with promise of nodes from previous global pruning, if --promise_power=N for N>0. git-svn-id: https://ws10smt.googlecode.com/svn/trunk@219 ec762483-ff6d-05da-a07a-a48fb63a330f | |||
2010-07-09 | exhaustive rather than cube, if ModelSet is stateless | graehl | |
git-svn-id: https://ws10smt.googlecode.com/svn/trunk@195 ec762483-ff6d-05da-a07a-a48fb63a330f | |||
2010-07-05 | comment unused var names, todo | graehl | |
git-svn-id: https://ws10smt.googlecode.com/svn/trunk@133 ec762483-ff6d-05da-a07a-a48fb63a330f | |||
2010-06-22 | initial checkin | redpony | |
git-svn-id: https://ws10smt.googlecode.com/svn/trunk@2 ec762483-ff6d-05da-a07a-a48fb63a330f |