Skip to content

/ GHOST

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

21 Open 13 Closed
21 Open 13 Closed
Author
Filter by author
Label
Filter by label
Use alt + click/return to exclude labels.
Projects
Filter by project
Milestones
Filter by milestone
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀
Auto-tune for the SAT timeout
#35 opened Sep 6, 2019 by richoux
Allow mix of permutation and regular constraints enhancement
#32 opened Aug 16, 2019 by richoux
Allow easy restart of configurations enhancement
#31 opened Jul 12, 2019 by richoux
Possible bug: Var/Ctr/Obj counters bug enhancement
#30 opened Jul 12, 2019 by richoux
More homogeneous interface enhancement
#29 opened Jul 12, 2019 by richoux
Solver timeouts enhancement
#28 opened Jul 12, 2019 by richoux
Change Variable/Constraint/Objective constructors enhancement
#27 opened Jul 12, 2019 by richoux
Improve the search loop enhancement
#26 opened Jul 12, 2019 by richoux
Add get_min/max_value in Domain and Variable enhancement
#25 opened Jul 3, 2019 by richoux
Improve Variable and Domain enhancement
#24 opened May 30, 2018 by richoux
Milliseconds/microseconds units enhancement
#23 opened May 4, 2018 by richoux
Variables unset on the first turn in Target Selection bug
#21 opened Mar 22, 2016 by richoux
Walling enhancements enhancement
#19 opened Dec 9, 2015 by richoux
Add a pause/resume feature enhancement
#18 opened Dec 9, 2015 by richoux
Very special case where the first random configuration is a solution invalid
#17 opened Apr 21, 2015 by richoux
postprocessSAT/OPTI returned value by default invalid
#16 opened Apr 21, 2015 by richoux
Wall-in crash on Fortress-4 bug
#14 opened Sep 2, 2014 by richoux
Make it parallel enhancement
#5 opened Jun 23, 2014 by richoux
Get rid of the TABU parameter enhancement
#4 opened Jun 23, 2014 by richoux
1
Tests to do help wanted
#3 opened Jun 23, 2014 by richoux
1
Movable objects enhancement
#1 opened Jun 20, 2014 by richoux
ProTip! Adding no:label will show everything without a label.
You can’t perform that action at this time.