GitHub CreateEvent at 2014-10-03 01:58:28
Repository: DPSolver
Actor: MFCo
Payload: ref: master
ref_type: branch
master_branch: gh-pages
description: DPSolver es una herramienta que permite la resolución del algoritmo de Davis Putnam de una forma simple, didáctica e interactiva.
pusher_type: user