Name		Name	Last commit message	Last commit date
Latest commit History 105 Commits
C#		C#
ConstrFormalization		ConstrFormalization
Documentation/pictures		Documentation/pictures
JAVA		JAVA
OOP		OOP
Problemsolver		Problemsolver
Prog_Lang		Prog_Lang
SP		SP
LICENSE		LICENSE
README.md		README.md
forFuture.scs		forFuture.scs
no_disc_test.scs		no_disc_test.scs
programFormal.scs		programFormal.scs