# Credal MAP solver version 1.0

# Building the project
This is a standard `cmake` C++ project so please feel free to use your favourite build toolchain. It should work out of the box with `vs code` and the `cmake` extensions.

# Running the solver
Once the binary is compiled, the solver can be run with the following command line arguments. Note that the default name of the compiled binary is `loopy` (you can change it in the `CMakeLists.txt` file).

The benchmark problems are assumed to be given in the UAI format.

```
./loopy --input-file alarm.uai --query-file alarm.query --task MAP --algorithm aobb_map --query-type maximax --seed 12345678 --potential-approx plub --potential-size 1 --ibound 2 --time-limit 3600
```

