![](/statics/img/blank.png)
XML-SAT
Você poderá baixar em 5 segundos.
Você também pode clicar no seguinte Link de Download Externo para iniciar o download:
http://sourceforge.net/projects/xml-sat/files/release/xml-sat-0.1.zip/download
Sobre XML-SAT
Um solucionador de SAT modular baseado em Minisat. Os módulos são descritos em arquivos XML, que são processados por um script perl; gerando n-solucionadores.
Programas Relacionados
-
TimeSignalForDroid Livre
A hora a cada hora e notificá-lo vibrando.Note a hora da voz japonesa.
-
SVATS Livre
SVATS [Análise de Verificação de Segurança adicionada ao Spice] é uma ferramenta EDA escrita por Pyhton usada para adicionar recursos de análise repetitiva para executar FMEAs em circuitos eletrônicos analógicos e mistos anal
-
Cube Language Specification Livre
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 o idioma e criar uma especificaçã
-
Arrowhead Collector Livre
A aplicação "deve ter" para coletores de superfície de pontas de flecha. Aqui está um destaque dos recursos que você achará muito útil:- para um artefato recém-encontrado gravar sua localização com o GPS do seu telefone
-
eYe project Livre
EYe Project é uma distribuição do Sambar Webserver, banco de dados MySql e PhP em um ambiente windows. Completo configurado, pronto para uso. Há também muitos módulos disponíveis para uso neste projeto. O conceito é configura
-
Apache Analyzer Livre
Apache Analyzer é um pacote de aplicativos Java para análise e análise de logs Apache. Os relatórios são preparados como arquivos PDF. O OCEAN GenRap é usado para analisar os dados. Confira informações gerais na página do Doc
-
OVal - object validation framework Livre
OVal é uma estrutura de validação de objetos extensíveis para Java 5 ou posterior. As anotações (@NotNull) ou arquivos de configuração XML podem ser usadas para expressar restrições de classe. OVal pode usar opcionalmente o A
-
NaturalOWL Livre
NaturalOWL gera descrições de indivíduos e classes de ontologies OWL que foram anotadas com recursos linguísticos e de modelagem de usuários expressos em RDF. Atualmente suporta inglês e grego. NaturalOWL pode ser usado como
-
NetBeans Source Viewer Service Plugin Livre
Um plugin NetBeans expondo um simples serviço TCP que fornece aos clientes externos recursos básicos de visualização e navegação de código-fonte Java. Contribuição de softwarepearls.com. Codificado por Ivo Tripunovic e Lauren
-
Spam Agent - SMS Filter Livre
Cansado de spam SMS? Spam Agent é um filtro SMS inteligente que usa técnicas de aprendizado de máquina para detectar e bloquear spam. Esqueça listas negras complicadas, simplesmente marque mensagens não solicitadas como spam