GitHub repository: zegabr/HornSatSolver
Primary language: JavaScript
Description: projeto IC em javascript