Skip to content

Issues: the-grid/finitedomain

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
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

Issues list

Eliminate identical constraints
#156 opened Oct 20, 2016 by pvdz
[Idea] Trie optimizations
#121 opened Jul 20, 2016 by pvdz
2 of 5 tasks
Idea: Prune useless reifiers
#116 opened Jul 8, 2016 by pvdz
Idea: implement fd in webassembly
#109 opened Jul 2, 2016 by pvdz
Idea: boolean specific reifiers
#103 opened Jun 30, 2016 by pvdz
[FD] performance improvement ideas Epic
#101 opened Jun 29, 2016 by pvdz
3 of 22 tasks
Idea: implement cycle cutting
#100 opened Jun 29, 2016 by pvdz
Idea: Optimize markov legends/vectors
#99 opened Jun 29, 2016 by pvdz
Idea: Optimize operations on bools
#97 opened Jun 29, 2016 by pvdz
Idea: More optimizations at compile time
#96 opened Jun 29, 2016 by pvdz
Idea: precompute var distributions
#89 opened Jun 29, 2016 by pvdz
Idea: precompute value distributions
#88 opened Jun 29, 2016 by pvdz
Perf tanks with latest babel-polyfill
#67 opened Apr 11, 2016 by pvdz
Allow vars to be named after the fact
#65 opened Apr 5, 2016 by pvdz
Anonymous vars as underscores
#64 opened Apr 5, 2016 by pvdz
Meta data to rng functions
#60 opened Mar 29, 2016 by pvdz
Topological Sort enhancement
#3 opened Oct 8, 2015 by pvdz
ProTip! Exclude everything labeled bug with -label:bug.