GitHub - Nauchnik/utils: Utilities for encoding and solving SAT problems

Nauchnik / utils Public

Utilities for encoding and solving SAT problems

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 424 Commits
CompareDLScounters		CompareDLScounters
CompareQueens		CompareQueens
ConstructPseudotripleCNFs		ConstructPseudotripleCNFs
ConverCNFtoCharArray		ConverCNFtoCharArray
ConvertBiviumKeystreamVarNumbers		ConvertBiviumKeystreamVarNumbers
DNF2CNF		DNF2CNF
DNFfromAssumptions		DNFfromAssumptions
DeleteOldWUfiles		DeleteOldWUfiles
FindSatSetsInLog		FindSatSetsInLog
FixCNF		FixCNF
HashClauses		HashClauses
LSChecker		LSChecker
MakeHexSolution		MakeHexSolution
MakeTestsBasedOnPseudotriples		MakeTestsBasedOnPseudotriples
MakeTestsBasedOnSatSet		MakeTestsBasedOnSatSet
SMAC_instances_list		SMAC_instances_list
SatBoolValuesToInt		SatBoolValuesToInt
SatTestsGenerator		SatTestsGenerator
SplitAssumptionFile		SplitAssumptionFile
TestingSATsolvers		TestingSATsolvers
VectorBoolCheck		VectorBoolCheck
bash_scripts		bash_scripts
buildCSVforCactuses		buildCSVforCactuses
check_a5-2_collisions		check_a5-2_collisions
drupPostProcess		drupPostProcess
getSatCompUnsolvedInst		getSatCompUnsolvedInst
mpi_cnc		mpi_cnc
python_scripts		python_scripts
.gitattributes		.gitattributes
.gitignore		.gitignore