Skip to content

Pull requests: MiniZinc/libminizinc

New pull request New
Clear current search query, filters, and sorts
6 Open 54 Closed
6 Open 54 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
Reviews
Filter by reviews
No reviews Review required Approved review Changes requested
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Pull requests list

Use assignment operator of std::vector to copy the entire vector in o…
#866 by rohitkprasad123 was closed Nov 12, 2024 Loading…
5
FindGecode.cmake: fix handling of static Gecode w/ MPFR
#834 by LebedevRI was closed Aug 26, 2024 Loading…
3
Update intro.rst
#777 by Nackha1 was closed Jan 8, 2024 Loading…
1
Fixed unsatisfiable test spec for github681.mzn bug
#774 by jmjrawlings was closed Dec 29, 2023 Loading…
@Dekker1
1
Fixed typo in unit test
#717 by jmjrawlings was closed Jul 14, 2023 Loading…
1
Fix some small typos in the specs
#713 by mohammadfawaz was closed Jul 14, 2023 Loading…
1
docs: add documentation for --input-is-flatzinc
#663 by chillja was closed Apr 4, 2023 Loading…
1
Fix base64 decoder for archs where char is unsigned
#601 by StefanBruens was closed Jul 25, 2022 Loading…
1
1
Add <memory> include required for unique_ptr
#585 by StefanBruens was closed Jun 1, 2022 Loading…
1
Fix missing return in non-void function
#584 by StefanBruens was closed Jun 1, 2022 Loading…
1
Small fix for neural net constraint
#573 by Alexander-Schiendorfer was closed Nov 16, 2023 Loading…
Fix value_precede_chain for non 1-based array indexes
#531 by zayenz was closed Dec 14, 2021 Loading…
1
1
removed bool2int in sum constructs
#482 by MaxOstrowski was merged May 11, 2021 Loading…
Fix assertions in graph globals
#467 by gkobeaga was closed Apr 13, 2021 Loading…
1
Fix MiniSearch build with Bison 3.7
#464 by elKei24 was merged Apr 8, 2021 Loading…
Bump pyyaml from 5.3 to 5.4 in /tests dependencies Pull requests that update a dependency file
#459 by dependabot bot was closed Apr 13, 2021 Loading…
1
Fix bug in grammar documentation
#453 by gablin was closed Feb 4, 2021 Loading…
2
Add fix and test for empty enum
#444 by agentydragon was closed Feb 4, 2021 Loading…
1
Handling empty arrays in GCC
#440 by GustavBjordal was closed Dec 10, 2020 Loading…
1
Fix std/fzn_bin_packing_[capa|load]_reif.mzn
#435 by informarte was merged Nov 22, 2020 Loading…
Feature/multi dimensional counting
#413 by GustavBjordal was closed Nov 9, 2020 Loading…
5
Minor doc-fix for global_cardinality_closed
#399 by zayenz was merged Jul 1, 2020 Loading…
a
#384 by joseph-isaacs was closed Nov 5, 2020 Loading…
Fix for cleaner installation of CMake files
#380 by fpesari was closed Mar 30, 2020 Loading…
1
CMake fix for setting the proper library installation directory
#379 by fpesari was closed Mar 30, 2020 Loading…
1
ProTip! What’s not been updated in a month: updated:<2025-02-05.