Skip to content

Tags: sfiruch/cadical

Tags

rel-2.0.0

Toggle rel-2.0.0's commit message 
win32 port

rel-1.9.4

Toggle rel-1.9.4's commit message 
windows/MSVC patch

rel-1.9.0

Toggle rel-1.9.0's commit message 
add phase/unphase to C api

1.7.1-noshrink

Toggle 1.7.1-noshrink's commit message 
include new files

1.7.0-noshrink

Toggle 1.7.0-noshrink's commit message 
merge 1.7.0

1.5.2-noshrink

Toggle 1.5.2-noshrink's commit message 
disable shrinking by default (causes SEGFAULTs)

1.5.2

Toggle 1.5.2's commit message 
upgrade to vs2022

sc2021

Toggle sc2021's commit message 
vc++ fixes

1.3.0

Toggle 1.3.0's commit message 
fixes for 1.3.0 release

rel-1.2.1e

Toggle rel-1.2.1e's commit message 
fix 24h wraparound in time reporting