Contains the development for the Industry 4.0 standards knowledge graph (I40KG). Its current collaborative development is driven by VoCol - http://vocol.iais.fraunhofer.de/sto/

Gofp is an ontology parser for the OWL-Functional syntax.

gophersat, a SAT solver in Go

NACRE : Nogood And Clause Reasoning Engine

Course Lectures

MOLOSS is a satisfiability solver for modal logics

Slender in Polytech Tours !