-
Couldn't load subscription status.
- Fork 87
Pull requests: MiniZinc/libminizinc
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
Make the destructor of SolverInstanceBase::Options virtual
#957
opened Sep 29, 2025 by
vitor1001
Loading…
Do not follow symlinks when looking for the stdlib files.
#956
opened Sep 29, 2025 by
vitor1001
Loading…
Add CP-SAT to the list of solvers that can run unit tests
#951
opened Sep 12, 2025 by
vitor1001
Loading…
cluster predicate - unidirectional graph reachability matrix
#921
opened May 3, 2025 by
LebedevRI
Loading…
ProTip!
Mix and match filters to narrow down what you’re looking for.