Skip to main content

Browse the archive

Revision 3b219db26dfb5ff9dd8777dcebabdd4e2a9427a4 authored by Johannes Waldmann on 08 March 2016, 20:10:11 UTC, committed by Johannes Waldmann on 08 March 2016, 20:10:11 UTC 
small changes to build and run scripts
1 parent 9184446
Raw File
starexec_run_dp_boolector.sh 
#!/bin/bash

solver=boolector
bits=4
con=2

export LD_LIBRARY_PATH=.

./MB.exe --dp \
    --$solver \
    --natural \
    --bits=$bits \
    --con=$con --small \
    --cores \
    +RTS -N -M32G -K1G -RTS \
    $1  \
    2>/dev/null
back to top