Name : why-gwhy
| |
Version : 2.26
| Vendor : Fedora Project
|
Release : 1.fc14
| Date : 2010-10-11 19:27:04
|
Group : Applications/Engineering
| Source RPM : why-2.26-1.fc14.src.rpm
|
Size : 2.90 MB
| |
Packager : Fedora Project
| |
Summary : IDE for Why software verification platform
|
Description :
Gwhy is an optional graphical user interface for the Why software coordination platform. It assists in the coordination of dispatching assertions that need to be proven to different theorem provers by providing an interface to do this and also supports inspection of why input files.
|
RPM found in directory: /packages/linux-pbone/archive.fedoraproject.org/fedora/linux/updates/14/i386 |