Skip to content

Issues: TeamAmalgam/kodkod

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

14 Open 20 Closed
14 Open 20 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

Fix Kodkod build on Mavericks
#58 opened May 1, 2014 by mhyee
@mhyee
2
Combining OGIA and PGIA pri4 stage C
#51 opened Jan 9, 2014 by mhyee
Cloning solvers pri0 stage B
#50 opened Jan 9, 2014 by mhyee
@cpkleynhans
Using CGIA as a base solver pri0 stage C
#49 opened Jan 9, 2014 by mhyee
OGIA: Exclusion constraints are "not dominated by X and does not dominate X" pri2 stage B
#47 opened Nov 9, 2013 by mhyee
1
Recursively partitioning the search space pri2 stage B
#46 opened Aug 20, 2013 by mhyee
@mhyee
Integrate integer elision pri2 stage B
#45 opened Aug 20, 2013 by mhyee
OGIA: Add exclusion constraints for non-pareto points to global exclusion constraints variable pri2 stage B
#44 opened Aug 8, 2013 by joseph39
@joseph39
Cancel Pareto-searching threads in OGIA if all Pareto points have already been found pri2 stage B
#43 opened Aug 1, 2013 by mhyee
@joseph39
Prioritize magnifier tasks in OGIA pri2 stage B
#42 opened Aug 1, 2013 by mhyee
@joseph39
Make StepCounter thread safe bug pri4 stage A
#33 opened Jul 16, 2013 by mhyee
Specify number of threads to use pri0 stage B
#30 opened Jul 15, 2013 by mhyee
1
Consolidate options bug chore pri0 stage B
#12 opened Jun 20, 2013 by mhyee In-Class Demo
1
Gracefully terminate if no solutions exist bug pri1 stage B
#9 opened May 28, 2013 by mhyee
2
ProTip! Mix and match filters to narrow down what you’re looking for.