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

    Marco Ziener committed Oct 12, 2012
  2. add miami degree

    committed Oct 12, 2012
  3. minor changes to resolution

    committed Oct 12, 2012
  4. Simple conjecture

    Marco Ziener committed Oct 12, 2012
  5. working

    committed Oct 12, 2012
  6. can work on difficult formulas

    Marco Ziener committed Oct 12, 2012
  7. apply final fixes

    committed Oct 12, 2012
  8. add json loader

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

    Marco Ziener committed Oct 11, 2012
  2. fix a lot of stuff

    committed Oct 11, 2012
  3. parser.hs

    Marco Ziener committed Oct 11, 2012
  4. various changes

    committed Oct 11, 2012
  5. uni

    committed Oct 11, 2012
  6. improved the resoltion

    committed Oct 11, 2012
  7. fix bug in unf conversion

    committed Oct 11, 2012
Commits on Oct 10, 2012
  1. changed resolution

    c
    Marco Ziener committed Oct 10, 2012
  2. Merge branch 'master' of github.com:slomo/fol-2012

    Marco Ziener committed Oct 10, 2012
  3. resolve allquantification

    Marco Ziener committed Oct 10, 2012
  4. improve substitution for relations

    committed Oct 10, 2012
  5. merge changes for python2

    committed Oct 10, 2012
  6. add unification features

    committed Oct 10, 2012
  7. corrected multiple_robinson test

    Sh4kE committed Oct 10, 2012
  8. unification update

    Sh4kE committed Oct 10, 2012
  9. fix bugs in operations

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

    committed Oct 9, 2012
  2. add python2 support

    committed Oct 9, 2012
  3. adapt parser to operator naming

    committed Oct 9, 2012