• COMET

  • Referenced in 80 articles [sw03051]
  • Constraint-Based Local Search. The ubiquity of combinatorial optimization problems in our society is illustrated ... rich constraint programming languages have been developed for expressing and combining constraints and specifying search ... that supports both modeling and search abstractions in the spirit of constraint programming. After ... presents the architecture and modeling and search components of constraint-based local search and describes...
  • Metatool

  • Referenced in 23 articles [sw13278]
  • powerful tool in the constraint-based modeling of metabolic networks. In recent years, new approaches...
  • COBRA Toolbox

  • Referenced in 13 articles [sw32083]
  • cellular and multicellular biochemical networks with constraint-based modelling. It implements a comprehensive collection...
  • Path2Models

  • Referenced in 4 articles [sw29332]
  • these models are still created de novo, based on literature mining and the manual processing ... efficiency of model creation, the Path2Models project has automatically generated mathematical models from pathway representations ... models are provided: kinetic, logical and constraint-based. Models from over 2 600 organisms...
  • MiningZinc

  • Referenced in 4 articles [sw19070]
  • introduce MiningZinc, a declarative framework for constraint-based data mining. MiningZinc consists ... level and natural modeling of mining problems, so that MiningZinc models are similar ... mining algorithms or generic constraint programming solvers. Given a model, different execution strategies are automatically ... MiningZinc language allows one to model constraint-based itemset mining problems in a solver independent...
  • bnlearn

  • Referenced in 74 articles [sw08265]
  • learning and inference. This package implements constraint-based (GS, IAMB, Inter-IAMB, Fast-IAMB, MMPC ... pairwise (ARACNE and Chow-Liu), score-based (Hill-Climbing and Tabu Search) and hybrid (MMHC ... classifiers are also implemented. Some utility functions (model comparison and manipulation, random data generation...
  • COBRApy

  • Referenced in 3 articles [sw16711]
  • COnstraint-Based Reconstruction and Analysis (COBRA) methods are widely used for genome-scale modeling ... COBRA methods to reconstruct and analyze integrated models of cellular processes. The COBRA Toolbox ... community effort to promote constraints-based research through the distribution of freely available software. Results ... with the next generation of stoichiometric constraint-based models and high-density omics data sets...
  • KERMIT

  • Referenced in 5 articles [sw02470]
  • KERMIT: A constraint-based tutor for database modeling. KERMIT is an intelligent tutoring system that...
  • ARMC

  • Referenced in 28 articles [sw04949]
  • Software Model Checking with Abstraction Refinement. Software model checking with abstraction refinement is emerging ... constraint-based programming language may lead to an elegant and concise implementation of a practical ... investigation. Using a Prolog system together with Constraint Logic Programming extensions as the implementation platform ... tool, called ARMC (for Abstraction Refinement Model Checking), which has already been used for practical...
  • Gecode

  • Referenced in 82 articles [sw06272]
  • toolkit for developing constraint-based systems and applications. Gecode provides a constraint solver with state ... systems. It supports the programming of new constraints, branching strategies, and search engines. New variable ... features: constraints over integers, Booleans, sets, and floats (it implements more than 70 constraints ... from the Global Constraint Catalog and many more on top); C++ modeling layer; advanced branching...
  • tFCA

  • Referenced in 1 article [sw17350]
  • manipulations. Originally, it was introduced for constraint-based models of metabolic networks that are based...
  • ManuHub

  • Referenced in 1 article [sw15841]
  • manufacturing service hubs via ontology- and constraint-based modeling of the distributed manufacturing services...
  • CC-Pi

  • Referenced in 29 articles [sw15033]
  • Constraint-Based Language for Specifying Service Level Agreements. Service Level Agreements are a key issue ... this work we propose a simple model of contracts for QoS and SLAs that also...
  • MASSpy

  • Referenced in 1 article [sw41441]
  • processes. MASSpy adds dynamic modeling tools to the COnstraint-Based Reconstruction and Analysis Python (COBRApy ... provide an unified framework for constraint-based and kinetic modeling of metabolic networks. MASSpy supports...
  • LMNtal

  • Referenced in 9 articles [sw07312]
  • pronounced “elemental”) is a simple language model based on hierarchical graph rewriting that uses logical ... attempt to unify constraint-based concurrency and Constraint Handling Rules, the two notable extensions ... substrate language of various computational models, especially those addressing concurrency, mobility and multiset rewriting. Although...
  • ntccSim

  • Referenced in 1 article [sw33009]
  • included in the same model. For instance, constraints over finite domains (FD) and real intervals ... been used to implement some constraint-based computational models of biological systems. In the current...
  • MetaboTools

  • Referenced in 0 articles [sw15375]
  • context of the metabolic model using constraint-based modeling. Through this work, which consists...
  • OFMC

  • Referenced in 28 articles [sw09466]
  • analysis, which extends the on-the-fly model checker (the previous OFMC). The native input ... integration of a number of symbolic, constraint-based techniques, which are correct and terminating...
  • DEDALE

  • Referenced in 10 articles [sw17368]
  • logical model based on linear constraints, which generalizes the constraint database model of [KKR90]. While ... classical constraint model, spatial data is always decomposed into its convex components, in DEDALE holes ... uniform fashion. This new data model supports declarative query languages, which allow an intuitive ... thus proving the effectiveness of a constraint-based approach for the design of spatial database...
  • XPERT

  • Referenced in 1 article [sw14140]
  • maintaining a complex, 3-dimensional geometry model for a modern Monte Carlo code typically occupies ... this paper include: a constraint-based, hierarchical, constructive solid geometry modeler; efficient, automated geometry validation...