github
Advanced Search
  • Home
  • Pricing and Signup
  • Explore GitHub
  • Blog
  • Login

adolfont / KEMS

  • Admin
  • Watch Unwatch
  • Fork
  • Your Fork
  • Pull Request
  • Download Source
    • 2
    • 1
  • Source
  • Commits
  • Network (1)
  • Issues (2)
  • Downloads (0)
  • Wiki (1)
  • Graphs
  • Branch: master

click here to add a description

click here to add a homepage

  • Branches (2)
    • experimental
    • master ✓
  • Tags (0)
Sending Request…
Click here to lend your support to: KEMS and make a donation at www.pledgie.com ! Edit Pledgie Setup

Pledgie Donations

Once activated, we'll place the following badge in your repository's detail box:
Pledgie_example
This service is courtesy of Pledgie.

A KE-based Multi-Strategy Tableau Prover — Read more

  cancel

http://www.dainf.ct.utfpr.edu.br/~adolfo/KEMS

  cancel
  • Private
  • Read-Only
  • HTTP Read-Only

This URL has Read+Write access

New version of kems.jar
adolfont (author)
Mon Oct 19 06:43:12 -0700 2009
commit  3e26553972e7b9e72947ec66d743c6902626e1d6
tree    3b9cc853a8b482cb94a0fc570f52a0601a294f91
parent  6756f635b69b59b30afa3404c6387b4d33628452
KEMS / kems.problems / problems / generated / lfiProblems / family5 / family5_03.prove kems.problems/problems/generated/lfiProblems/family5/family5_03.prove
100644 6 lines (5 sloc) 0.164 kb
edit raw blame history 
1
2
3
4
5
6

T !(A1&!A1)
T A1&A2&A3
T (A4-> ((A1|B1)->(!(A2&!A2))))&(A4-> ((A2|B2)->(!(A3&!A3))))&(A4-> ((A3|B3)->(!(A4&!A4))))
T (!(A1&!A1)&!(A2&!A2)&!(A3&!A3))->(!A4)
F !!!A4
 
Blog | Support | Training | Contact | API | Status | Twitter | Help | Security
© 2010 GitHub Inc. All rights reserved. | Terms of Service | Privacy Policy
Powered by the Dedicated Servers and
Cloud Computing of Rackspace Hosting®
Dedicated Server