#!/bin/bash
# run-parsl.sh — call binary directly (solver: satsuma-iter-ae-kissat-mab)
# Usage: ./run-parsl.sh <cnf> <proof_output_file>
cd "$(dirname "$0")"
CNF="$1"
PROOF="$2"
./satsuma fix "$CNF" --silent --full-skip-limit 100000000 --add-reduced-as-unit --bsr --proof-file "$PROOF" --out-file "$PROOF".temp.cnf && ./solver/AE_kissat2025_MAB/build/kissat "$PROOF".temp.cnf "$PROOF"
