Giters

stebanca1998 / SATtoXSAT

Reductor de instancias SAT a X-SAT - Primera parte del proyecto del curso Complejidad y Optimización

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

This repository is not active

About

Reductor de instancias SAT a X-SAT - Primera parte del proyecto del curso Complejidad y Optimización

Languages

Language:JavaScript 85.1%Language:Python 11.9%Language:HTML 2.9%Language:Shell 0.1%