simon/sidekick
1
0
Fork 0
mirror of https://github.com/c-cube/sidekick.git synced 2025-12-07 11:45:41 -05:00
Code Issues Projects Releases Packages Wiki Activity Actions

feat: expose simple script for icnf-solve

Browse source
This commit is contained in:
Simon Cruanes 2019-01-19 15:56:54 -06:00 • committed by Guillaume Bury
parent aa47a44242
commit a88752759f
1 changed files with 3 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

3
icnf-solve.sh Executable file
View file

@ -0,0 +1,3 @@
#!/bin/sh
exec dune exec tests/icnf-solve/icnf_solve.exe -- $@