mirror of
https://github.com/Jaxan/nominal-lstar.git
synced 2025-04-26 22:27:46 +02:00
10 lines
230 B
Bash
Executable file
10 lines
230 B
Bash
Executable file
#!/bin/bash
|
|
|
|
# To run with the external teacher in the
|
|
# nominal-learning-ons repository
|
|
|
|
mkfifo qs ans
|
|
time stack exec nominal-lstar2 NomLStarCol > qs < ans &
|
|
../nominal-learning-orbitsets/external_teacher qs ans "$@"
|
|
|
|
rm qs ans
|