Search Results for "parallel-sudoku-solver" - Page 5

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 !

A library that makes writing parallel (multithreaded) for loops in Java 5+ easier. It also supports parallel processing of lists and arrays, asynchronous invocation, progress and completion notification, computation interruption and results merging.

MapReduce++ is a project for implementation of parallel algorithms. It has currently two C++ implementations of the MapReduce abstraction: the MapMP library (multiprocessors) and the MaPI framework (multicomputers).

A parallel-programming framework for concurrently running large numbers of small autonomous jobs, or microthreads, across multiple cores in a CPU or CPUs in a cluster. Each microthread is conceptually similar to a task in Ada and it is much lighter weight than an operating system thread. SpikeOS was designed to handle millions of microthreads, for example in a neural network hosting millions of spiking model neurons.

cuLsoda is an implementation of the Livermore Solver for Ordinary Differential Equations with Automatic switching for stiff and non-stiff problems (LSODA), written in NVIDIA's C for CUDA GPGPU API. NOTE: This repository is now deprecated and replaced by a new one at GitHub: https://github.com/Celemourn/cuLsoda

eClog, a PHP log class, offer ability to log to file (default), console, database, mail, error_log and syslog. Supports multiple parallel handlers and ability to trigger PHP errors. There are ongoing development on stomp, mqseries and snmp handlers.

vfTasks is a C library to ease the implementation of concurrent tasks: thread pool to efficiently create and reuse tasks, highly efficient inter-task synchronization, and streaming interfaces to stream data from one task to another.

AshTL aims to provide a complete framework for dealing with spatial data in an efficient, parallel manner. As such, we primarily provide container classes and data types relating to 2D and 3D coordinate grids. AshTL is currently in alpha development (some features may not work correctly, and interfaces are likely to change). While in alpha and beta development, AshTL is licensed under AGPL v3+. Stable releases will include an exception so that AshTL itself will always be AGPL, but will not force code that uses it to be.

This project is a set of Java wrapper classes for Win32 API functions. There is a parallel project called J7Linux which is the equivalent for Linux/Unix systems.

Feedforward Neural Network writen in C++ serial and parallelized in TBB library. Also using Autotune library for best parallel performance.

Sudll is a simple and reasonably fast C# library for solving (and creating) sudoku puzzles. Quite abstract --- can be used also for sudoku variants (like twin sudoku etc.), orthogonal Latin squares and many other things.

A Message-Passing Interface (MPI) library, allowing a Java application to efficiently run on a distributed, parallel, and high performance architecture. Developed within HPJava project (www.hpjava.org), and maintained by LarKC project (www.larkc.eu)

C library to quickly implement streaming communication between parallel threads. Optimized for use in embedded systems. Allows FIFO behavior as well as separate data access and synchronization. NOTE: development has moved to the vfTasks project.

Qpnc is a high level library developed using the Qt4 framework. It provides a set of data containers and operation abstracts used to declare a set of numerical computations, witch in turn are automatically executed in a parallel fashion.

This C++ and Qt based project provides an easy way to control the step motor boards PAO-3M and SMK-4M-4A from Grummes Elektronik GmbH from within your own application. Interfacing is done using the LPT parallel port.

This is an ANSI c compliant library for state machine use. It uses very fast algorithms and includes many features: nested state, history state, parallel state mechanisms and debug capabilities.

Roomy is a programming language extension for writing parallel disk-based applications. All details of parallelism and disk I/O are hidden within the Roomy library.

ZSokoban: An efficient Sokoban engine implemented in C# including levels, levelsets, solver, utilities and full GUI player.

Implementation of paralell partitioning algorithms achieving an optimal number of comparisons. See L. Frias and J. Petit. Parallel partition revisited. http://dx.doi.org/10.1007/978-3-540-68552-4_11 for further reference.

PyMW is a Python module for parallel master-worker computing in a variety of environments. With the PyMW module, users can write a single program that scales from multicore machines to global computing platforms.

Sequential and parallel implementation of string quicksorts(-select) . Articles: On the number of string lookups in BSTs (and related algorithms) with digital access/ Combining digital access and parallel partition for quicksort and quickselect.

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.

A framework for doing asynchronous socket communications - useful for connecting to a large number of hosts in parallel from a single thread. Builds on top of Java NIO library and hides all socket, buffer details.

Library is a C++ wrapper for libcURL. It adds multi-threading support, jobs based parallel request processing and high level class encapsulation.

nVidia CUDA and MPI python wrappers. These wrappers are written in pure C no swig or boost necessary. The CUDA wrapper exposes the CUDA runtime and Driver API's.