Updated CaDiCal · VerifiableRobotics/slugs@b1ed4db

Commit

Updated CaDiCal

Ruediger Ehlers committed Aug 22, 2024

1 parent d355dce commit b1ed4db

lib/cadical

+1 −0		.dockerignore
+34 −0		Dockerfile
+4 −4		LICENSE
+18 −1		NEWS.md
+32 −22		README.md
+1 −1		VERSION
+56 −0		configure
+15 −0		contrib/craigtracer.LICENSE.APACHE
+9 −0		contrib/craigtracer.LICENSE.MIT
+986 −0		contrib/craigtracer.cpp
+200 −0		contrib/craigtracer.hpp
+177 −0		contrib/craigtracer.md
+37 −23		makefile.in
+3 −0		scripts/make-build-header.sh
+30 −17		src/assume.cpp
+13 −4		src/cadical.cpp
+45 −12		src/clause.hpp
+2 −1		src/decompose.cpp
+1 −11		src/external.cpp
+9 −5		src/external_propagate.cpp
+1 −1		src/file.cpp
+3 −1		src/flags.hpp
+28 −6		src/idruptracer.cpp
+1 −1		src/idruptracer.hpp
+17 −1		src/internal.cpp
+7 −7		src/internal.hpp
+630 −0		src/lidruptracer.cpp
+115 −0		src/lidruptracer.hpp
+52 −30		src/minimize.cpp
+75 −49		src/mobical.cpp
+2 −1		src/options.hpp
+4 −0		src/proof.cpp
+1 −0		src/propagate.cpp
+9 −0		src/radix.hpp
+2 −2		src/resources.cpp
+12 −11		src/restart.cpp
+2 −1		src/shrink.cpp
+3 −0		src/solver.cpp
+0 −3		src/stats.cpp
+14 −15		src/stats.hpp
+24 −20		src/subsume.cpp
+3 −3		src/util.hpp
+9 −3		src/version.cpp
+60 −26		src/vivify.cpp
+1 −0		src/vivify.hpp
+8 −0		test/contrib/README.md
+39 −0		test/contrib/craigtracer.cpp
+73 −0		test/contrib/craigtracer_incremental.cpp
+3 −0		test/contrib/makefile
+118 −0		test/contrib/run.sh
+1 −1		test/icnf/makefile
+4 −2		test/makefile
+9 −0		test/trace/reg0077.trace
+8 −0		test/trace/reg0078.trace

Please sign in to comment.