Funsat

Un moderno Sábado de estilo DPLL
Descargar ahora

Funsat Clasificación y resumen

Anuncio publicitario

  • Rating:
  • Licencia:
  • Freeware
  • Precio:
  • FREE
  • Nombre del editor:
  • Denis Bueno
  • Sitio web del editor:
  • http://github.com/dbueno/funsat/wikis
  • Sistemas operativos:
  • Mac OS X
  • Tamaño del archivo:
  • 40 KB

Funsat Etiquetas


Funsat Descripción

Un moderno soldado de estilo DPLLL FunSat es un solvente SANKELL nativo de Haskell que utiliza técnicas modernas para resolver las instancias de SAT. Las características actuales incluyen literales de dos vistos, aprendizaje dirigido por conflictos, retroceso no cronológico, un ordenamiento variable dinámico de VSID, y se reinicia. FunSat tiene como objetivo facilitar la incrustación conveniente de un solvente SAT razonablemente rápido como una restricción que resuelve el backend en otras aplicaciones. Nota: FunSat tiene licencia y distribuida en los términos de la licencia LGPL. Requisitos: · Ghc


Funsat Software relacionado

Pitomnic3k

Un marco de código abierto para la construcción de servicios de red (SOA), Middleware de integración (EAI) y aplicaciones distribuidas en Python 3.0 ...

116 130 KB

Descargar

Javarebel

Plugin de JVM que proporciona un desarrollo de Java más rápido mediante la recarga de cambios realizados a los archivos de clase Java sobre la marcha ...

143 7.8 MB

Descargar

Sobre nosotros