Tcpdump
Utilidad de código abierto y gratuita que lo ayudará a realizar la depuración del protocolo ...
692 KB
 | incremental-sat-solverSimple, incremental Satving Satving como una biblioteca Haskell |
| Descargar ahora | |
incremental-sat-solver Clasificación y resumen
Anuncio publicitario
- Licencia:
- BSD
- Precio:
- FREE
- Nombre del editor:
- Sebastian Fischer
- Sitio web del editor:
- Sistemas operativos:
- Mac OS X
- Tamaño del archivo:
- 4 KB
incremental-sat-solver Etiquetas
incremental-sat-solver Descripción
Simplemente incremental, resolviendo SAT como una biblioteca Haskell. Incremental-Sat-Solver es una biblioteca gratuita y de código abierto Haskell que proporciona una implementación del algoritmo de Davis-Putnam-Logemann-Loveland para el problema de la satisfacción booleana. Si no solo permite resolver fórmulas booleanas en una sola vez. para agregar restricciones y consulta enlaces de variables incrementalmente. Requisitos: · Ghc
incremental-sat-solver Software relacionado
Ronin Exploits
Una biblioteca gratuita para Ronin que proporcionará a los desarrolladores de Ruby con herramientas de funcionalidad de explotación y carga útil. ...
99 KB
