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

S-SAT - Sapienza SAT 06

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

Durante un curso en University "La Sapienza" en Roma desarrollé un solucionador SAT totalmente en funcionamiento basado en la propagación y retroceso de unidades; puede leer archivos DIMACS y procesar fórmulas cnf de cualquier longitud (no hay restricciones en el número de literales).

historial de versiones

  • Versión s-sat06.beta1 publicado en 2009-02-14
    Varias correcciones y actualizaciones
  • Versión s-sat06.beta1 publicado en 2009-02-14

Detalles del programa

Programas relacionados

  • KJV Bible (fortune format) Gratis

    KJV Biblia en formato de archivo de fortuna Unix. Cada *fortune* es un solo verso. Bastante agradable para los usuarios de shell Unix y aquellos que desean generar un "quote del día" con cron

  • Algebra Cheat Sheet Gratis

    Algebra Hoja de Trucos le proporciona la referencia rápida de fórmulas en álgebra.Los temas incluyen:1. Propiedades básicas y hechos (incluye propiedades de radicales, exponentes, logaritmos, etc.,2. Factoring y resoluc

  • Word Trainer Gratis

    La forma más fácil de practicar el vocabulario en su dispositivo Android!¿Falta tu lengua materna? ¿Quieres añadir palabras más interesantes? Siéntase libre de contribuir a la base de datos y ayudará a otras personas que

  • VOX Compact Spanish + Thesauru Prueba gratuita

    Este paquete de software de valor consta de Vox Spanish Advanced Dictionary y el excelente Vox Spanish Language Thesaurus. El Diccionario Avanzado Español Vox ofrece significados, ejemplos, modismos y expresiones y es ideal

  • Zelda all series Cheats Gratis

    **Ya actualizar el formato del anuncio para el cumplimiento de la política del programa de desarrollador de Google Play **Trucos prácticos : Zelda todas las seriesCaracterísticas de la aplicación incluyen:-Colecciones de Truc

  • Sai Satcharitra English Prueba gratuita

    Ahora también disponible en hindi - https://market.android.com/details?id=com.mgw.SaiSatCharitraHindiOm Shree Sainathaya Namah!!!Satcharitra de Shirdi Sai Baba en inglés - 52 capítulos incluyendo Aarti y Epílogo.Sat

  • Pro Cheats Pokemon White 2 Edn Gratis

    Esta aplicación incluye códigos, Trucos, Pokedex, Guía legendaria Pokemon, Cambios de forma, Top 10 Pokemon por estadísticas, Consejos y mucho más para Pokemon Blanco 2!*Esta aplicación no es oficial, por favor lea Descargo d

  • Conquest Flex Viewer Gratis

    ConquestWebView es un visor de dicom basado en web para la aplicación de servidor de conquista dicom disponible en http://www.xs4all.nl/~ingenium/dicom.html. El proyecto está escrito en PHP y Flex. Tenga en cuenta que el sist

  • Atmel AT90USB 802.11g Wireless Project Gratis

    Este proyecto proporciona una solución económica para la comunicación inalámbrica 802.11g utilizando hardware fuera del estante y tecnologías de código abierto. Esto utiliza el atmel AT90USB micro y el chipset inalámbrico ZyD

  • LDS Hymns with Notes Prueba gratuita

    Esta es una aplicación no oficial con la música de La Iglesia de Jesucristo de los Santos de los Ultimos Días!¡Incluye los himnos SUD en inglés, español, francés y portugués!Esta aplicación le permite ver los himnos SU