#!/bin/bash


git clone https://github.com/ipc2023-classical/planner19.git hapori_mip2_sat_build
cd hapori_mip2_sat_build
git checkout latest

apptainer build ../ipc2023_hapori_mip2_sat.sif Apptainer.hapori_mip2_sat

cd ..
rm -rf hapori_mip2_sat_build
