Skip to content
Snippets Groups Projects
Select Git revision
  • 2316669f2f554e0bc19c969e8cde3679165f3e47
  • master default protected
  • branch1
  • branch2
  • newbranch
  • temp2
  • temp
7 results

toto

Blame
    • Forked from Polito Guillermo / tofork
    Source project has a limited visibility.
    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