cryptominisat5(f::Function; adjust_PATH::Bool=true, adjust_LIBPATH::Bool=true)

An ExecutableProduct wrapper that supports the execution of cryptominisat5.

Example

cryptominisat5() do exe
    run(`$exe $arguments`)
end

cryptominisat5(; adjust_PATH::Bool=true, adjust_LIBPATH::Bool=true) -> Cmd

An ExecutableProduct wrapper that supports the execution of cryptominisat5. This wrapper is thread-safe and should be preferred on Julia 1.6+.

Example

run(`$(cryptominisat5()) $arguments`)

cryptominisat5_simple(f::Function; adjust_PATH::Bool=true, adjust_LIBPATH::Bool=true)

An ExecutableProduct wrapper that supports the execution of cryptominisat5_simple.

Example

cryptominisat5_simple() do exe
    run(`$exe $arguments`)
end

cryptominisat5_simple(; adjust_PATH::Bool=true, adjust_LIBPATH::Bool=true) -> Cmd

An ExecutableProduct wrapper that supports the execution of cryptominisat5_simple. This wrapper is thread-safe and should be preferred on Julia 1.6+.

Example

run(`$(cryptominisat5_simple()) $arguments`)

is_available()

Return whether the artifact is available for the current platform.