New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Supports projection with non-IntSet #11

Merged

blegat merged 3 commits into master from nonintset

May 22, 2017

Member

blegat commented Apr 27, 2017

No description provided.

blegat force-pushed the nonintset branch from 5533297 to 53ffcfe Compare

April 27, 2017 19:44

blegat added 3 commits

April 27, 2017 15:44


          Fix Fourier-Motzkin elimination

20d8534


          Supports projection with non-IntSet

53ffcfe


          Temporarily use latest version of Polyhedra in travis and appveyor

90dd33a

blegat merged commit d4f1bbf into master

coveralls commented May 22, 2017

Coverage increased (+0.04%) to 70.782% when pulling 90dd33a on nonintset into 2766ac0 on master.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet