Ferft.
Ferft é para analisador de energia multifuncional baseado no método sucessivo de transformação de Fourier. ...
 | nadadeiraFlipper é um programa que realiza a busca local randomizada de satisfomoção de 3 frases de pré-ex-variáveis. |
| Baixe Agora | |
nadadeira Classificação e resumo
Propaganda
- Licença:
- GPL
- Preço:
- FREE
- Nome do editor:
- Andr Rognes
- Site do editor:
- http://flipper.berlios.de/
nadadeira Tag
nadadeira Descrição
Flipper é um programa que faz pesquisa local randomizada de satisfomoção de 3 frases pré-ex-variáveis. O flipper é um programa que realiza a busca local randomizada por satisfomoçãia de 3 frases pré-ex-variáveis no cálculo de predicado puro. Ele faz isso provando a satisfação em relação a teorias decidíveis. Requirements: · Cabeça · Bash · Make · GCC · GNU-PROLOGO NOVO Nesta versão: · Novo formato para tabelas. · Estratégia de pesquisa experimental que explora a unidade e as frases experimentais da busca.
nadadeira Software Relacionado
Projeto Urbi.
Urbi: Interface de corpo robótica universal. Urbi é uma linguagem de comando script usada para controlar robôs (AIBO, pioneira, ...). ...
Gringots.
Gringotts é um pequeno utilitário que permite que você anote dados confidenciais (senhas, pinos, pequenos arquivos, etc.). ...