details

attribute value name stp-mergesat description no description owner Norbert Manthey uploaded May 19 2019 disk size 13.68 MB build status uploaded built

configurations

name	description
stp-mergesat	STP, with calling external SAT solver MergeSAT

actions

get anonymous link download