GitHub - shaowei-cai-group/Relaxed_LCMDCBDL_newTech: This solver win the Main-Track-SAT of SAT competition 2020

shaowei-cai-group / Relaxed_LCMDCBDL_newTech Public

This solver win the Main-Track-SAT of SAT competition 2020

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 1 Commit
bin		bin
sources		sources
readme		readme
starexec_build		starexec_build

Repository files navigation

How to build:
	./starexec_build

How to use:
	./bin/Relaxed_LCMDCBDL_newTech <dir_ins>

This solver win the Main-Track-SAT of SAT competition 2020

sat

No releases published

No packages published