GitHub repository: maexbower/DHBW_horn_resolver
Primary language: C
Created: 2017-04-17T13:31:43Z
Description: Algorythmus zur Resulotion von Horn Formeln