diff --git a/Project.toml b/Project.toml
index 31be519..ce013aa 100644
--- a/Project.toml
+++ b/Project.toml
@@ -1,14 +1,6 @@
 name = "IntervalConstraintProgramming"
 uuid = "138f1668-1576-5ad7-91b9-7425abbf3153"
-version = "0.12.3"
-
-[compat]
-IntervalArithmetic = "0.16, 0.17, 0.18"
-IntervalContractors = "0.4"
-IntervalRootFinding = "0.5"
-MacroTools = "0.4, 0.5"
-ModelingToolkit = "3"
-julia = "1.3, 1.4"
+version = "0.12.4"
 
 [deps]
 IntervalArithmetic = "d1acc4aa-44c8-5952-acd4-ba5d80a2a253"
@@ -17,6 +9,14 @@ IntervalRootFinding = "d2bf35a9-74e0-55ec-b149-d360ff49b807"
 MacroTools = "1914dd2f-81c6-5fcd-8719-6d5c9610ff09"
 ModelingToolkit = "961ee093-0014-501f-94e3-6117800e7a78"
 
+[compat]
+IntervalArithmetic = "0.16, 0.17, 0.18, 0.19, 0.20"
+IntervalContractors = "0.4"
+IntervalRootFinding = "0.5"
+MacroTools = "0.4, 0.5"
+ModelingToolkit = "3"
+julia = "1.3, 1.4"
+
 [extras]
 ModelingToolkit = "961ee093-0014-501f-94e3-6117800e7a78"
 Test = "8dfed614-e22c-5e08-85e1-65c5234f0b40"