Update subproject commit in extern/semitone · ratioSolver/oRatio@4bb7486

Commit

Update subproject commit in extern/semitone

Browse files

riccardodebenedictis committed Oct 30, 2024

1 parent e86150f commit 4bb7486

extern/semitone

Submodule semitone updated 10 files

+21 −4		include/lra/lra_assertion.hpp
+20 −2		include/lra/lra_eq.hpp
+22 −16		include/lra/lra_theory.hpp
+1 −1		include/theory.hpp
+1 −1		src/constr.cpp
+1 −1		src/dl/idl_theory.cpp
+1 −1		src/dl/rdl_theory.cpp
+66 −40		src/lra/lra_eq.cpp
+56 −117		src/lra/lra_theory.cpp
+12 −11		tests/test_lra.cpp

Please sign in to comment.