Search Results for "parallel-sudoku-solver"

The ECLiPSe Constraint Logic Programming System is designed for solving combinatorial optimization problems, for the development of new constraint solver technology and their hybrids, and for the teaching of modelling, solving and search techniques.

... in libraries, and we have already written many such library programs. Many of these programs are already available along with the main package. Currently, the main focus of these is computational quantum mechanics, analysis and simulation of molecular spectra, and general-purpose approximants. The package provides the most reliable modern strategies for linear and non-linear model optimization, regularization, and hypothesis tests. Parallel computing is supported.

This library contains several of user material subroutines for implicit quasi-static (UMAT) and explicit dynamic (VUMAT) versions of the Abaqus solver. The project web site: http://abumpack.sf.net. The Abaqus is a proprietary finite element (FE) code ( http://www.3ds.com/products-services/simulia/products/abaqus/). Users can write subroutines for use with the Abaqus. Linear elastic, isotropic hardening plasticity, Gurson-Tvergaard-Needleman (GTN), Rousselier constitutive models...

A collection of Fortran 2003, 90 and 77 routines, modules and programs for automatic simulation based global constrained optimisation. The initial application is for FE simulation of elasto-plastic buckling of steel rods aimed at tuning the hardening model. Unix shell scripts are used extensively. High concurrency is achieved with parallel multi-start global search and with parallel MPI FE. Powell's BOBYQA or LINCOA are used (not included in this package). Automatic mesh generation of 3D...

instantFSM is a header-only C++ state machine library. Its goal is to make state machine declaration and use easy enough that it can be integrated into your projects painlessly. Have a look atp the wiki where you will find a tutorial, samples, and a cheatsheet to get accustomed with instantFSM. The only instantFSM header file is downloadable from the files section or you can check it out from the git repository.

EasyCP is a modern, user-friendly C++ library that lets you use constraint programming in a very natural way, taking advantage of its expressive power. Just model and let the CSP (Constraint Satisfaction Problem) solver do the job !

* Model-checking/simulation-checking library for real-time system with dense-time models in C with CRD (Clock-Restriction Diagrams) technology. * Parametric analysis library for linear-hybrid systems in C with HRD (Hybrid-Restriction Diagram) technol

This program is used to create and solve queueing network models using Mean Value Analysis using a GUI front end and the WX widget library.

... includes basic stochastic simulation algorithms. The package includes several example networks which can be easily modified for other networks. Serial and parallel MPI implementations can be built and called from the command line. The serial implementation of the package can also be called from Matlab via the MEX interface with limited functionality. It supports many user specified options, including the use of antithetic sampling that can be used in some cases to increase efficiency.

A framework for creating automatically-assembling trees of objects. Intended to parallel another interface as strictly a data I/O structure (e.g. file load/save in parallel with a GUI displaying it.) Adaptable to any hierachical data format.

APCO means Adaptive Parallel COmputing framework.

GridABM is an easy-to-use toolkit to develop high-performance agent-based models (ABMs) in Repast. GridABM facilitates large-scale simulation of ABM on multicore computers, local computing clusters, or computational grids.

Our goal is to develop a full working solver for ATA (with 1 clock) in Python, with MTL to ATA support. The decidability for the emptiness problem was proposed by Lasota and Walukiewicz. The MTL to ATA was proposed by Ouaknine and Worrell.

C++ library for calculating the light propagation through large and very small structures (sub wavelength). The used method is the Fourier Modal Method. It can be solve one and two dimensional dielectric structures such as gratings, waveguides etc.

JPowerFlow - a steady state electric power system power flow solver.

JSpasm is a pure Java package for developing event-driven, state-based software applications and packages. This small-footprint package will handle multiple models and large numbers of entities in parallel, and includes features to support SMP operation.

PEP is a modelling and verification framework for parallel systems, providing a large number of different modelling languages and verification techniques (e.g. SDL, Petri nets and model checking)

RPowerFlow - a steady state electric power system power flow solver.