| J-TRE. Um simples solucionador com base no Java |
Baixe Agora |
J-TRE. Classificação e resumo
- Nome do editor:
- Richard de Benedictis
- Site do editor:
- http://code.google.com/u/ricdebenedictis@gmail.com/
- Sistemas operacionais:
- Mac OS X
- Tamanho do arquivo:
- 254 KB
J-TRE. Tag
J-TRE. Descrição
O J-TRE é uma implementação de Java simples e minimalista da minissat, um extensível SAT SOLVER. O J-TRE é um utilitário de plataforma cruzada capaz de executar em qualquer sistema operacional que vem com suporte a Java (por exemplo, Mac OS X, Windows, Linux).
J-TRE. Software Relacionado