Skip to content

Commit

Permalink
Merge pull request #116 from niklasdewally/hotfix/update-minion
Browse files Browse the repository at this point in the history 
update minion
  • Loading branch information
@ozgurakgun
ozgurakgun authored Nov 30, 2023
2 parents eb82d62 + 8778d57 commit 8c7f813
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion solvers/minion/vendor
Submodule vendor updated 14 files
+9 −2 configure.py
+88 −0 minion/buildConstraints.cpp
+24 −36 minion/build_constraints/BuildConstraintConstructs.h
+1 −11 minion/commandline_parse.cpp
+0 −2 minion/inputfile_parse/CSPSpec.h
+1 −0 minion/minion.cpp
+0 −3 minion/search/search_control.h
+0 −30 minion/search/variable_orderings.h
+1 −0 minion/system/minlib/basic_sys.hpp
+17 −17 minion/triggering/constraint_printing.h
+5 −5 minion/variables/AnyVarRef.h
+23 −0 minion/variables/mappings/variable_neg.h
+9 −0 minion/variables/mappings/variable_stretch.h
+9 −0 minion/variables/mappings/variable_switch_neg.h

0 comments on commit 8c7f813

Please sign in to comment.