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.
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
Author
Label
Projects
Milestones
Assignee
Sort
check which of the applied cheap_constraint constraints are met or not?
#817
opened Sep 12, 2020 by
TokyAxel
Wishlist: coauthor requested -- tasks for one of our next papers :-)
#761
opened Jul 12, 2020 by
teytaud
Generating candidates that automatically satisfy algebraic constraints
#746
opened Jun 27, 2020 by
bacalfa
Use logging package
Difficulty: Low
Priority: Low
Type: Enhancement
#718
opened Jun 8, 2020 by
jrapin
Enable specification of different stopping criteria
Difficulty: High
Priority: Low
Type: Enhancement
#714
opened Jun 5, 2020 by
jrapin
Fix pessimistic/optimistic best at machine precision
Difficulty: High
Priority: Low
Type: Bug
Type: Refactoring
#687
opened May 18, 2020 by
jrapin
Reactivate commandline test
Difficulty: High
Priority: High
Status: Help wanted
Type: Bug
#631
opened Apr 27, 2020 by
jrapin
Previous Next
ProTip!
Find all open issues with in progress development work with linked:pr.