#!/bin/bash


git clone https://github.com/ipc2023-classical/planner8.git powerlifted_sat_build
cd powerlifted_sat_build
git checkout latest

apptainer build ../ipc2023_powerlifted_sat.sif Apptainer.powerlifted_sat

cd ..
rm -rf powerlifted_sat_build
