[WIP] TsLess cavity, take 3#140

Open

robertodr wants to merge 3 commits intoPCMSolver:masterfrom

robertodr:TsLess-cavity

Commits on Mar 27, 2018

Import files from out-of-date branch
robertodr
committed

Commits on Mar 28, 2018

Cavity tests not passing
robertodr
committed

Commits on Apr 5, 2018

Update default.nix
robertodr
committed