Skip to content
Snippets Groups Projects
Select Git revision
  • e41043cb0cb9b88a7c759b76c100bf93d7aff462
  • master default protected
  • v0.1
3 results

run-all.sh

Blame
    • run-all.sh 98 B
    1
    2
    3
    4
    5
    6
    7 
    

    

    

    #!/bin/sh

for fichier in $(ls *.lp)
do
  clingo 0 --verbose=0 ${fichier} > ${fichier}$1.out
done