nocon_dp_ur_boolector.sh

loading
details
attribute current value
name nocon_dp_ur_boolector.sh
description no description
owning solver matchbox2015-07-26.1
contents
#!/bin/bash

solver=boolector
bits=4
con=0

export LD_LIBRARY_PATH=.

./MB.exe --dp --ur \
    --$solver \
    --natural --arctic \
    --bits=$bits \
    --con=$con \
    --cores \
    --cpf \
    +RTS -N -M32G -K1G -RTS \
    $1  \
    2>/dev/null

back to matchbox2015-07-26.1