Search Results for "parallel-sudoku-solver" - Page 22
Sort By:
936 projects for "parallel-sudoku-solver" with 1 filter applied:
-
$300 Free Credits to Build on Google CloudPut your $300 in credit toward real workloads, then keep building with free monthly usage for 20+ products. No commitment and no charge until you upgrade.
-
Ship Agents FasterGemini Enterprise Agent Platform lets you rapidly build, scale, govern and optimize production-ready agents grounded in your organization's data. The platform enables developers to build custom or pre-built agents for virtually any use case. New customers get $300 in free credits.
-
1
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.
-
2
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.
-
3
-
4
Parallel and atomic backup utility with web-based management. Written in PHP for simplicity in modifying and extending the framework. Multithreads not-so-multithreaded processes like rdiff-backup, rsync and SSH to decrease backup windows.
-
Veeam Data Platform v13.1 - Get Your Free TrialTry Veeam Data Platform today. Experience the unified platform that's secure by design, portable by default, and proven to recover clean, fast, and anywhere.
-
5
The aim of the PL-PSF project is to create a generic domain-independent combinatorial problem solver. It uses a petri-nets based model to represent the problems and problem decomposition/abstraction with graph topology analysis to solve them.
-
6
BSPonMPI is an implementation of the BSPlib standard on top of MPI. Both MPI and BSPlib are API's of communication routines meant for parallel computing, but BSPlib is easier to learn and its performance easier to predict.
-
7
Universal sw mgmt tool optimized for best resource usage. In SW mgmt, sw is organized in packages with dependencies. Process consists of more tasks, using different resources: net, CPU UniPkg runs tasks in parallel with optimal usage of resources.
-
8
The general triangle solver. It computes all solutions for a triangle specified by combination of sides, angles, altitudes, medians, angle bisectors, area, radius of circumscribed and inscribed circle, sum a+b, perimeter and difference of alpha-beta.
-
9
The Decision Procedure Toolkit (DPT) is a system of cooperating decision procedures for answering satisfiability queries. The DPT implementation in OCaml comprises a DPLL-style SAT solver with theory-specific decision procedures.
-
Custom VMs From 1 to 96 vCPUs With 99.95% UptimeLive migration and automatic failover keep workloads online through maintenance. One free e2-micro VM every month.
-
10
A 2-D inviscid flow and adjoint solver on unstructured triangular grids. It makes use of a vertex-centroid finite volume scheme which is second order accurate. The adjoint solver is developed using the automatic differentiation tool called TAPENADE. Code has been moved to https://github.com/cpraveen/euler2d
-
11
A modular SAT solver based on Minisat. The modules are described in XML-files, which are processed by a perl script; thus generating n-solvers.
-
12
Groom is a full Java lightweight webserver. Written in pure Java 1.4 by using only standard packages, it can thus run with Sun JRE but also with the GNU Classpath on a great number of plateforms that support java.
-
13
Jdoku is a sudoku solver made in java. It implements the swing API. The sudoku solver applies two logics for now. Try it. I got board solving news paper sudoku after creating this!
-
14
Numerical package Parallel EXECution. Using a numerical package like Octave, 'npexec' distribute computation of a math formula among various network elements, collecting result automatically. ->y=npexec('fft(x.^m)', 'm=-8:8','x=ARG');
-
15
A simple pdcurses based nonogram solver written entirely in C++, compiled with GCC (MinGW on Windows). Currently broken.
-
16
-
17
An experimental Sudoku solver that is written using 64 lines or less of C code. Meant as a general experiment in seeing if Sudoku can be solved in that small amount of code.
-
18
Trinkets for hackers. Currently: Rubik cube move series inventor. Go solver for tiny boards. Jokes converted into lateral puzzles. Turing machine enumeration Things coming: sci-fi ideas/stories, chess (endgame), etc... License GPL+GFDL
-
19
Java-based recursive SuDoku Solving program. Currently console-based, mostly personal effort, but all contributions welcomed! Hopefully we'll have a GUI for easy solving/generation in the future...
-
20
OpenSpace 2010 is an free and opensource developpement environment, wich include a sysadmin-targeted module, and a embedded developpement module. Developpers welcome.
-
21
-
22
Sanchay is a collection of tools and APIs for language researchers. It has some implementations of NLP algorithms, some flexible APIs, several user friendly annotation interfaces and Sanchay Query Language for language resources.
-
23
-
24
Cilk is a multicore programming language which gives the ability to write codes which can run parallel on multiple core thus comuting faster result. Our project involves porting of this application onto MAC and packaging it with Fink
-
25
Rensselaer's Optimistic Simulation System, or ROSS, is a parallel discrete event simulator employing optimistic synchronization for multiple processors. ROSS has demonstrated scalability to 131,072 processors. ROSS implements reverse computation.
