Filewatcher File Search File Search
Catalog
Content Search
» » » » »

prover9-mace4

GUI for Prover9 and Mace4

This package provides a graphical user interface for easily running the Prover9 theorem prover and the Mace4 countermodel generator along with a number of sample input files.
Homepage:
Package version:0.5.dfsg-2
Architecture:all
Distribution:Debian
Filename:prover9-mace4_0.5.dfsg-2_all.deb

/usr/share/man/man1/prover9-mace4.1.gz

PROVER9-MACE4(1)                                    PROVER9-MACE4(1)



NAME
       prover9-mace4   -  graphical  theorem  prover  interface  for
       Prover9 and Mace4

SYNOPSIS
       prover9-mace4

DESCRIPTION
       This manual page documents briefly the prover9-mace4 command.

       prover9-mace4 is a graphical  user  interface  (GUI)  to  the
       prover9(1)  theorem prover and the mace
more»

/usr/share/doc/prover9-mace4/changelog.Debian.gz

p9m4 (0.5.dfsg-2) unstable; urgency=low

  [ Sandro Tosi ]
  * debian/control
    - switch Vcs-Browser field to viewsvn

  [ Marco Rodrigues ]
  * debian/control:
    + Add ${misc:Depends} to Depends to remove
      lintian warning.

  [ Peter Collingbourne ]
  * debian/install: removed shell brace expansion
  * debian/prover9-mace4.1, debian/control, debian/copyright: changed
    maintainer email
more»

/usr/share/doc/prover9-mace4/copyright

This package was debianized by Peter Collingbourne <peter@pcc.me.uk> on
Mon, 14 Jan 2008 16:40:29 +0000.

It was downloaded from <http://www.cs.unm.edu/~mccune/mace4/gui/v05.html>

Upstream Author: 

    William McCune <mccune@cs.unm.edu>

Copyright: 

    Copyright (C) 2006, 2007 William McCune

License:

    The LADR Deduction Library is free software; you can redistribute it
    and/or modify i
more»

Browse inside prover9-mace4_0.5.dfsg-2_all.deb

         [DIR]DEBIAN/ (4)  65535+ mirrors
         [DIR]usr/ (2)  65535+ mirrors

Download prover9-mace4_0.5.dfsg-2_all.deb

Results 1 - 1 of 1
Help - FTP Sites List - Software Dir.
Search over 15 billion files
© 1997-2016 FileWatcher.com