![](/statics/img/blank.png)
XML-SAT
Poderá descarregar em 5 segundos.
Também pode clicar no seguinte Link de descarregamento externo para começar a descarregar:
http://sourceforge.net/projects/xml-sat/files/release/xml-sat-0.1.zip/download
Sobre XML-SAT
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.
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