Update intel sat solver · pindakaashq/pindakaas@7c14b21 · GitHub

Commit

Update intel sat solver

Browse files

Loading branch information

Dekker1 committed Dec 29, 2023

1 parent a8566f5 commit 7c14b21

crates/pindakaas-intel-sat/vendor/intel_sat

Submodule intel_sat updated 28 files

+9 −0		.gitignore
+2 −0		ColorPrint.h
+136 −70		Main.cc
+39 −17		Makefile
+184 −24		Topi.cc
+86 −42		Topi.hpp
+2 −8		TopiAsg.cc
+4 −10		TopiBacktrack.cc
+3 −121		TopiBcp.cc
+42 −46		TopiCompression.cc
+59 −30		TopiConflictAnalysis.cc
+1 −39		TopiDebugPrinting.cc
+1 −1		TopiDecision.cc
+93 −0		TopiInprocess.cc
+1 −1		TopiParams.hpp
+1 −1		TopiRestart.cc
+309 −0		TopiStatistics.hpp
+1 −1		TopiVarScores.hpp
+1 −1		TopiWL.cc
+56 −8		Topor.cc
+22 −6		Topor.hpp
+1 −1		ToporBitArrayBuffer.hpp
+1 −1		ToporDynArray.hpp
+6 −295		ToporExternalTypes.hpp
+1 −0		ToporIpasir.cc
+1 −1		ToporTableBitInfo.hpp
+1 −1		ToporVector.hpp
+1 −1		ToporWinAverage.hpp

0 comments on commit `7c14b21`

Please sign in to comment.