Skip to content

Releases: daajoe/trellis

trellis1.0.1

18 Oct 19:01
@daajoe daajoe
v1.0.1
df606e9
Compare
Choose a tag to compare
trellis1.0.1 Pre-release
Pre-release

TREewidth LocaL Improvement Solver

Including all PACE solvers and its installations

Loading

trellis1

10 May 14:32
@daajoe daajoe
v1.0.0
eaebc95
Compare
Choose a tag to compare
trellis1 Pre-release
Pre-release

TREewidth LocaL Improvement Solver used for the SAT 2017 submission.

Loading