Skip to content

Commit

Permalink
update minion
Browse files Browse the repository at this point in the history
  • Loading branch information
@niklasdewally
niklasdewally committed Nov 30, 2023
1 parent eb82d62 commit 8778d57
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 8778d57

Please sign in to comment.