This is the re-development of the ProB Logic Calculator. The old version is tagged as 0.1.
We use some great libaries:
- The Skeleton css library (http://getskeleton.com/)
- jQuery (https://jquery.com/)
- CodeMirror (https://codemirror.net/)
The application is deployed automatically to Heroku when a commit is pushed to
the master branch.
The source code is distributed under the EPL license (https://www.eclipse.org/legal/epl/epl-v10.html)
(c) 2012 Jens Bendisposto, all rights reserved