_ _ _ _ _
/\ \ /\ \ /\ \ /\_\ / /\
\_\ \ / \ \\ \ \ / / / / / \
/\__ \ / /\ \ \\ \ \_/ / / / / /\ \__
/ /_ \ \ / / /\ \ \\ \___/ / / / /\ \___\
/ / /\ \ \ / / / \ \_\\ \ \_/ \ \ \ \/___/
/ / / \/_// / / / / / \ \ \ \ \ \
/ / / / / / / / / \ \ \ _ \ \ \
/ / / / / /___/ / / \ \ \ /_/\__/ / /
/_/ / / / /____\/ / \ \_\\ \/___/ /
\_\/ \/_________/ \/_/ \_____\/
Kissat is a bare-metal SAT-solver written in C. It is a port of CaDiCaL back to C with improved data structures, better scheduling of inprocessing and optimized algorithms and implementation.