Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with HTTPS or Subversion.

Download ZIP
branch: master
Commits on Oct 12, 2012
  1. Merge branch 'master' of github.com:slomo/fol-2012

    Marco Ziener authored
  2. add miami degree

    authored
  3. minor changes to resolution

    authored
  4. Simple conjecture

    Marco Ziener authored
  5. working

    authored
  6. can work on difficult formulas

    Marco Ziener authored
  7. apply final fixes

    authored
  8. add json loader

    authored
Commits on Oct 11, 2012
  1. gMerge branch 'master' of github.com:slomo/fol-2012

    Marco Ziener authored
  2. fix a lot of stuff

    authored
  3. parser.hs

    Marco Ziener authored
  4. various changes

    authored
  5. uni

    authored
  6. improved the resoltion

    authored
  7. fix bug in unf conversion

    authored
Commits on Oct 10, 2012
  1. @Sh4kE
  2. changed resolution

    Marco Ziener authored
    c
  3. Merge branch 'master' of github.com:slomo/fol-2012

    Marco Ziener authored
  4. resolve allquantification

    Marco Ziener authored
  5. merge changes for python2

    authored
  6. add unification features

    authored
  7. @Sh4kE

    corrected multiple_robinson test

    Sh4kE authored
  8. @Sh4kE

    unification update

    Sh4kE authored
  9. @Sh4kE
  10. @Sh4kE
  11. fix bugs in operations

    authored
Commits on Oct 9, 2012
  1. extend and rewrite operations

    authored
  2. add python2 support

    authored
  3. adapt parser to operator naming

    authored
Something went wrong with that request. Please try again.