Giters

dig-team / amie

Mavenized AMIE+Typing

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Integrate Javatools in AMIE

Fran-cois opened this issue · comments

commented

Status :

AMIE need javatools, Javatools is mainly used by AMIE and cause issue for the setup part (see issues #2 #38 )

Proposal:

Integrate javatools in AMIE

commented

Javatools is now integrated to AMIE as of version 3.5