jfeser / castor

Deductive synthesis and compilation of specialized databases.
12Updated last year

Alternatives and similar repositories for castor:

Users that are interested in castor are comparing it to the libraries listed below