tuProlog/2p-kt Issues
Expand term hierarchy
UpdatedSlow tests
UpdatedExplicit unificator
ClosedAvoid singletons in OOP-lib
UpdatedPossible bug in :solve-classic
Closed 2Loading time with large theories
Closed 2Add builder for Solvers
ClosedSimplify libraries API
ClosedSupport parsing of tags
UpdatedFix README.md
UpdatedImplement anti-unification
UpdatedProblem in clause/2
ClosedPerformance issues
Closed