Propaganda
GECODE / R.
Utilitário de código aberto que permitirá a programação de restrição em Ruby ...
desenvolvimento programação Programação Ruby. Programação de restrição Interface gecode
Açúcar
um solucionador de restrição baseado em SAT ...
desenvolvimento resolver Java Enviroment de desenvolvimento solucionador
Gecode.
Ambiente para o desenvolvimento de sistemas e aplicativos baseados em restrições ...
desenvolvimento desenvolve ambiente de desenvolvimento desenvolvimento de aplicações restrição
Restrição de python.
Módulo Python para resolver problemas de resolução de restrições (CSPs) ...
biblioteca módulo restrição módulo de restrição Biblioteca de restrição
CFLP.
Programação Funcional-Lógica de Restrição em Haskell ...
programação Programação de restrição restrição Combinador Combinador de Haskell.
Wallaroo.
Biblioteca de solução de restrição linear de código aberto ...
resolver solucionador restrição Biblioteca de otimização Restrição Solver
Minion.
solucionador de restrição rápida e escalável ...
resolver solucionador restrição Restrição Solver Resolva restrição
Jdpa.
permite que os desenvolvedores declarem concisamente restrições, transformações, interceptadores e outros ...
Quadro de Desenvolvimento transformação declarar restrição declarar restrição
Copris.
fornece uma linguagem específica de domínio de programação de restrição incorporada em Scala ...
programação solucionador de satélite Programação de restrição restrição
Jbernstein.
Aplicativo Java para explorar técnicas para verificação de restrição não linear ...
Tracker de restrição por satélite para Mac
Uso de largura de banda de log e gráfico para wildblue, EXEDE, DISPONE e outros clientes da Internet Viasat. ...