Genifer

lp:genifer

Created by YKY (Yan King Yin) on 2009-05-25 and last modified on 2010-07-05

Get this branch:: bzr branch lp:genifer

Only YKY (Yan King Yin) can upload to this branch. If you are YKY (Yan King Yin) please log in for upload directions.

Related bugs

Link a bug report

Related blueprints

Branch information

Owner:: YKY (Yan King Yin)

Project:: Genifer

Status:: Development

Recent revisions

31. By YKY (Yan King Yin) on 2010-07-05: last commit before moving to google code. Adios...
30. By YKY (Yan King Yin) on 2010-07-04: induction now working, but it's MINI-HYPER only
29. By YKY (Yan King Yin) on 2010-07-04: Finally, I guess standardizing apart is OK now; entire deduction is bug-free
28. By YKY (Yan King Yin) on 2010-07-04: Standardizing apart still has bug
27. By YKY (Yan King Yin) on 2010-07-04: Fixed a bug in Standardizing Apart. Discovered another bug in bodyless rules.
26. By YKY (Yan King Yin) on 2010-07-03: examples.README
25. By YKY (Yan King Yin) on 2010-07-03: Example 6 (subs management) working. Fixed standardizing apart -- seems to work too. Abductive direction still missing.
24. By YKY (Yan King Yin) on 2010-07-03: Finally works! after modifying Propagate.
23. By YKY (Yan King Yin) on 2010-07-01: Propagate case 1 still not working -- need to figure out a way to do default reasoning.
22. By YKY (Yan King Yin) on 2010-06-30: Program can run now but still very buggy.

»

Branch metadata

Branch format:: Branch format 6

Repository format:: Bazaar pack repository format 1 (needs bzr 0.92)

This branch contains Public information

Everyone can see this information.

Subscribers

YKY (Yan King Yin)