Enviar software
  1. Casa
  2. Linux
  3. Otro
  4. XML-SAT

XML-SAT

Licencia: Gratis ‎Tamaño del archivo: N/A
‎Calificación de usuarios: 4.0/5 - ‎1 ‎Votos
Descargar

Un solver SAT modular basado en Minisat. Los módulos se describen en archivos XML, que se procesan mediante un script perl; generando así n-solvers.

historial de versiones

  • Versión release publicado en 2010-04-24
    Varias correcciones y actualizaciones
  • Versión N/A publicado en 2010-04-24

Detalles del programa

Programas relacionados

  • TimeSignalForDroid Gratis

    La hora cada hora y notificarle vibrando.Fíjate en el tiempo de la voz japonesa.

  • SVATS Gratis

    SVATS [Análisis de verificación de seguridad añadido a Spice] es una herramienta EDA escrita por Pyhton utilizada para agregar capacidades de análisis repetitivos para realizar FMEAs en circuitos electrónicos analógicos y mix

  • Cube Language Specification Gratis

    El lenguaje Cube es el nuevo lenguaje de programación, basado en el nuevo aproach: programación multidimensional. El propósito de este proyecto es invitar a los profesionales a una discusión abierta sobre el idioma y crear un

  • Arrowhead Collector Gratis

    La aplicación "imprescindible" para colectores de superficie de puntas de flecha. Aquí está un punto culminante de las características que encontrarás para ser muy útil:- para un artefacto recién encontrado registrar su u

  • eYe project Gratis

    eYe Project es una distribución de Sambar Webserver, Base de datos MySql y PhP en un entorno de Windows. Completo configurado, listo para usar. También hay muchos módulos disponibles para su uso en este proyecto. El concepto

  • Apache Analyzer Gratis

    Apache Analyzer es un paquete de aplicaciones Java para el análisis y análisis de registros De Apache. Los informes se preparan como archivos PDF. OCEAN GenRap se utiliza para analizar los datos. Echa un vistazo a la informac

  • OVal - object validation framework Gratis

    OVal es un marco de validación de objetos extensible para Java 5 o posterior. Las anotaciones (@NotNull) o los archivos de configuración XML se pueden utilizar para expresar restricciones de clase. OVal puede utilizar opciona

  • NaturalOWL Gratis

    NaturalOWL genera descripciones de individuos y clases a partir de ontologías OWL que se han anotado con recursos de modelado linguísticos y de usuario expresados en RDF. Actualmente es compatible con inglés y griego. Natural

  • NetBeans Source Viewer Service Plugin Gratis

    Un plugin de NetBeans que expone un servicio TCP simple que ofrece a los clientes externos capacidades básicas de visualización y navegación del código fuente Java. Contribuido por softwarepearls.com. Codificado por Ivo Tripu

  • Spam Agent - SMS Filter Gratis

    ¿Cansado del spam SMS? Spam Agent es un filtro SMS inteligente que utiliza técnicas de aprendizaje automático para detectar y bloquear el spam. Olvídate de las engorrosas listas negras, simplemente marca los mensajes no solic