Commits

History for

Commits on Sep 10, 2026

Fall back to killing MiniZinc when its interrupt pipe is gone
Dekker1
committed
09b41f0

Commits on Dec 2, 2024

Simplify the project management using `uv`
Dekker1
committed
33f7deb

Commits on Jul 10, 2023

Increase the minimum required version of MiniZinc to version 2.6
Dekker1
committed
d90e36f

Commits on Apr 3, 2023

Fix error location in test case for MiniZinc 2.7+
Dekker1
committed
50cb07a
Remove print in test case
Dekker1
committed
44ff3c0

Commits on Dec 14, 2021

Fix error processing typo
Dekker1
committed
a4eab05
Handle MiniZinc errors that are not part of JSON Streams
Dekker1
committed
3b73594
Add support for errors and warnings from MiniZinc JSON Stream output
Dekker1
committed
2a76745

Commits on Jul 20, 2020

Update linters
Dekker1
committed
59b51f7

Commits on Aug 13, 2019

Reformat code to adhere to newly chosen standards
Dekker1
committed
8387e82

Commits on Apr 2, 2019

Add Split between Model and Instance
Dekker1
committed
334ca35

Commits on Feb 21, 2019

Refactor the initialization of the Solver class
Dekker1
committed
a9ecc9e

Commits on Feb 8, 2019

Add copyright notice to the source code
Dekker1
committed
5500ad0

Commits on Feb 6, 2019

Update the error documentation
Dekker1
committed
7d75365

Commits on Jan 30, 2019

Allow the user to ignore MiniZinc errors
Dekker1
committed
54440ed
Add parsing of syntax errors
Dekker1
committed
0afe1d3
Fix location parsing for errors
Dekker1
committed
87a73d4
Add parsing of type errors
Dekker1
committed
70b6464
Add parsing of assertion errors
Dekker1
committed
2061e60

Loading