boolector-ReasonLS

loading
details

attribute value
name boolector-ReasonLS
description The solver need to be compiled in the root folder by running “./starexec build”. The running command is: “./starexec run default $1” in folder “./bin”. The parameter $1 is the absolute path of input ?le. For a given input ?le ”?/sc/a.smt”, the call command is ”./starexec run default ?/sc/a.smt ”.
owner he bing
uploaded Jun 02 2019
disk size 66.85 MB
build status built on StarExec
configurations
name description
default no description

actions get anonymous link download source

Compute nodes for all.q are being upgraded. Use new.q for now.More Information