This repository has been archived on 2023-07-19. You can view files and clone it. You cannot open issues or pull requests or push a commit.

patrick bdb6ac9fba Changed output format of axiom rules.

2016-08-14 16:02:28 +02:00

..

plasp

Changed output format of axiom rules.

2016-08-14 16:02:28 +02:00

CMakeLists.txt

Implemented And expressions.

2016-06-02 17:35:01 +02:00