Enviar Software
  1. Casa
  2. Linux
  3. Outros
  4. XML-SAT

XML-SAT

Licença: Grátis ‎Tamanho do arquivo: N/A
‎Classificação dos utilizadores: 4.0/5 - ‎1 ‎votos
Baixar

Um solucionador sat modular baseado no Minisat. Os módulos são descritos em ficheiros XML, que são processados por um script perl; gerando assim n-solucionadores.

história da versão

  • Versão release postado em 2010-04-24
    Várias correções e atualizações
  • Versão N/A postado em 2010-04-24

Detalhes do programa

Programas Relacionados

  • TimeSignalForDroid Grátis

    A hora a cada hora e notificá-lo vibrando.Reparem na hora da voz japonesa.

  • SVATS Grátis

    SVATS é uma ferramenta EDA escrita por Pyhton usada para adicionar capacidades de análise repetitivas para executar FMEAs em circuitos eletrónicos analógicos e mistos analógicos-digitais usando simulação semelhante a Berkeley

  • Cube Language Specification Grátis

    A linguagem cubo é a nova linguagem de programação, baseada no novo aproach: programação multidimensional. O objetivo deste projeto é convidar os profissionais para uma discussão aberta sobre a língua e criar uma especificaçã

  • Arrowhead Collector Grátis

    A aplicação "deve ter" para coletores de superfície de pontas de flecha. Aqui está um destaque das funcionalidades que encontrará para ser muito útil:- para um artefacto recém-encontrado registar a sua localização com o G

  • eYe project Grátis

    eYe Project é uma distribuição de Sambar Webserver, MySql database e PhP em um ambiente Windows. Completo configurado, pronto a ser utilizado. Há também muitos módulos disponíveis para uso neste projeto. O conceito é configur

  • Apache Analyzer Grátis

    Apache Analyzer é um pacote de aplicações Java para análise e análise de troncos Apache. Os relatórios são preparados como ficheiros PDF. Ocean GenRap é usado para analisar os dados. Consulte o General Info na página do Docs.

  • OVal - object validation framework Grátis

    OVal é uma estrutura de validação de objetos extensíveis para Java 5 ou mais tarde. As anotações (@NotNull) ou os ficheiros de configuração XML podem ser utilizados para expressar restrições de classe. OVal pode opcionalmente

  • NaturalOWL Grátis

    NaturalOWL gera descrições de indivíduos e classes de ontologias OWL que foram anotadas com recursos linguísticos e de modelação de utilizadores expressos em RDF. Atualmente apoia inglês e grego. NaturalOWL pode ser usado com

  • NetBeans Source Viewer Service Plugin Grátis

    Um plugin NetBeans expondo um simples serviço TCP que dá aos clientes externos capacidades básicas de visualização e navegação de códigos de java. Contribuído por softwarepearls.com. Codificado por Ivo Tripunovic e Laurence V

  • Spam Agent - SMS Filter Grátis

    Cansado de SPAM DE SMS? O Agente de Correio publicitário não solicitado é um filtro SMS inteligente que utiliza técnicas de aprendizagem automática para detetar e bloquear spam. Esqueça as listas negras pesadas, basta marcar