GitHub - solimul/tassat

Branches Tags

Name		Name	Last commit message	Last commit date
Latest commit History 27 Commits
FILES		FILES
LICENSE		LICENSE
README		README
VERSION		VERSION
blackboard.c		blackboard.c
blackboard.h		blackboard.h
config.c		config.c
configure.sh		configure.sh
main.c		main.c
makefile.in		makefile.in
mkconfig.sh		mkconfig.sh
yals.c		yals.c
yals.h		yals.h
yils.h		yils.h

Repository files navigation

TaSSAT is a SLS SAT solver that implements a weight transferring algorithm.
It is based on Yalsat (by Armin Biere)
Copyright (C) 2023  Md Solimul Chowdhury, Cayden Codel, and Marijn Heule
Carnegie Mellon University, Pittsburgh, PA, USA. 

Build Instructions
------------------
./configure.sh
make
Run Instructions
----------------
sequential version: ./tassat $CNF
parallel version: ./passat $CNF