-
Notifications
You must be signed in to change notification settings - Fork 2
Automatically exported from code.google.com/p/opensmt
License
formalmethods/opensmt
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
+----------------------------------------------------------------------------+ | __ | | ____ ______ ____ ____ ______ ______/ |_ | | / _ \\____ \_/ __ \ / \ / ___// \ __\ | | ( <_> ) |_> > ___/| | \\___ \| Y Y \ | | | \____/| __/ \___ >___| /____ >__|_| /__| | | |__| \/ \/ \/ \/ | | | +----------------------------------------------------------------------------+ | | | OpenSMT | | | | Copyright 2009 Roberto Bruttomesso <[email protected]> | | | | Code Repository...: http://github.com/bobosoft/opensmt | | Discussion Group..: http://groups.google.com/group/opensmt | | | | OpenSMT is distributed in the hope that it will be useful, | | but WITHOUT ANY WARRANTY; without even the implied warranty of | | MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. | | | +----------------------------------------------------------------------------+
About
Automatically exported from code.google.com/p/opensmt
Resources
License
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published