Skip to content

Tags: stp/stp

Tags

2.3.4_cadical

Toggle 2.3.4_cadical's commit message 
If using Cadical, default to Cadical

2.3.4

Toggle 2.3.4's commit message 
use simple CNF encoding when simplifications are disabled

smtcomp2020

Toggle smtcomp2020's commit message 
initial smtcomp 2020 mergesat.

2.3.3

Toggle 2.3.3's commit message 
Bumping version

2.3.2

Toggle 2.3.2's commit message 
Tagging 2.3.2

Related to #307

2.3.1

Toggle 2.3.1's commit message 
Adding SUSE build files

stp-2.2.0

Toggle stp-2.2.0's commit message 
Fixing cryptominisat libraries location

2.1.2

Toggle 2.1.2's commit message 
Bumping version and releasing after KLEE build fix

2.1.1

Toggle 2.1.1's commit message 
Bumping version

2.1.0

Toggle 2.1.0's commit message 
Bumping version number