erojasfredini / SAT2D

Implementación básica del algoritmo SAT

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

This repository is not active

About

Implementación básica del algoritmo SAT

License:GNU Lesser General Public License v3.0


Languages

Language:C++ 99.1%Language:C 0.9%