https://github.com/certik/symboliccpp
My git repository of the official SymbolicC++ release
https://github.com/certik/symboliccpp
Last synced: about 1 year ago
JSON representation
My git repository of the official SymbolicC++ release
- Host: GitHub
- URL: https://github.com/certik/symboliccpp
- Owner: certik
- License: gpl-2.0
- Created: 2013-08-23T17:09:52.000Z (almost 13 years ago)
- Default Branch: master
- Last Pushed: 2020-02-15T16:00:12.000Z (over 6 years ago)
- Last Synced: 2025-03-28T12:37:53.354Z (over 1 year ago)
- Language: C++
- Homepage: http://issc.uj.ac.za/symbolic/symbolic.html
- Size: 320 KB
- Stars: 23
- Watchers: 4
- Forks: 8
- Open Issues: 0
-
Metadata Files:
- Changelog: ChangeLog
- License: COPYING