Sketch stronger cartographer inference
Bugfixes; avoid DenseSet::complement
Add steps parameter to cartographer.infer
Little fixes to cartographer.infer
Add LhsFixedTheoremQueue in cartographer.infer
Fix bug in cartographer.infer
Simplify infer_nless in cartographer.infer
Add JOIN,RAND monotonicity rules
Fix to JOIN inference
Infer monotonicity of symmetric functions
Optimize LESS-JOIN-monotone inference
Merge pull request #3 from fritzo/infer

Infer