WichtigeBefehle.txt

*********
* CSPMJ *
*********
java -cp build/classes/main CSPMparser -parse Examples/prologTest.csp

java -jar build/libs/cspmj.jar -parse Examples/prologTest.csp
java -jar build/libs/cspmj.jar -parse Examples/prologTest.csp --prologOut=zHIER.csp
java -cp build/classes/main PerformanceTest C:/Users/Robin/Documents/GitHub/CSPMJ C:/Users/Robin/Documents/GitHub/CSPMJ/src/performance/java
_________________________________________________________________________________________
***********
* SableCC *
***********

java -jar sablecc.jar some-file.scc
_________________________________________________________________________________________

*********
* CSPMF *
*********

cspmf-windows.exe translate test.csp --prologOut=test.csp.pl
cspmf-windows.exe translate test.csp --prologOutNormalised=test.csp.pl

_________________________________________________________________________________________

***********
* GitHub  *
***********

git reset --hard <sha1-commit-id>
git push -f
git rm -r --cached <dateiname> 		Dateitracking löschen
git add .
git commit -m "fixed untracked files"
git branch -d the_local_branch
_________________________________________________________________________________________