aba2sat/scripts/aba_generator_acyclic_starter.sh

#!/bin/bash

#SBATCH --ntasks=1
#SBATCH --cpus-per-task=24
#SBATCH --time=24:00:00

./scripts/aba-generator-acyclic.py
scripting and tweaking 2024-06-18 08:41:09 +02:00			`#!/bin/bash`

			`#SBATCH --ntasks=1`
fix sc-batch script --max_loops usage and starter script for generation 2024-07-05 11:22:44 +02:00			`#SBATCH --cpus-per-task=24`
			`#SBATCH --time=24:00:00`
scripting and tweaking 2024-06-18 08:41:09 +02:00
fix some typos 2024-07-01 14:18:10 +02:00			`./scripts/aba-generator-acyclic.py`