details

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

configurations

name	description
stp-riss	STP, with calling external SAT solver Riss

actions

get anonymous link download