Skip to main content

Browse the archive

Revision 2f9ab4b9865f0e3e4b8b04b71d2f0fbf3d1b8623 authored by Jannik Vierling on 21 July 2022, 07:37:48 UTC, committed by Jannik Vierling on 21 July 2022, 07:37:48 UTC 
release 2.16.0
2 parent s cdd8380 + d9cbb33
Raw File
escargot.sh 
#!/usr/bin/env bash
basedir="$(dirname "$0")"
. "$basedir/include.sh"

run_gapt gapt.provers.escargot.Escargot "$@"
back to top