aba2sat/scripts/aba_generator_acyclic_starter.sh

8 lines
119 B
Bash
Executable file

#!/bin/bash
#SBATCH --ntasks=1
#SBATCH --cpus-per-task=24
#SBATCH --time=24:00:00
./scripts/aba-generator-acyclic.py