Ruby interface to the zChaff boolean satisfiability solver. Includes a demonstration program that solves Sudoku puzzles as boolean satisfiability problems.
Genetic Algorithms General Solver (GAGENES) is a C++ implementation of the genetic algorithm concept.
Sudoku Solver - A generic implementation of Donald Knuth's Dancing Links algorithm and a number of techniques, translated into rules, implemented in JESS.
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.
dlvhex is a prototype solver for HEX-programs which integrate Answer-Set Programs with higher-order reasoning and external computation sources. It comes with a full-fledged plug-in framework for rapid extension development.
In this project i have coded (C++) Gauss elimination matrix solver for cfd applications
API for work with substitution device (see DOS command "subst"). Win9x ONLY. For WinNT and Win2000 use native API call.
A 64-bit private-key block cipher, similar to DES.
Qtpl module handles out substitution of variables in text files. Templates are split into blocks which may be shown one or more times or not shown at all. The module allows you to put the result of processing in a variable, thus you may do email...
A block cipher for the clipper chip program. 64bit blocksize, 80bit keysize. This implementation was developed totally outside of the USA and so it is free from export restrictions.
This program interactively lets you encrypt and decrypt text as well as text files using a key system as well as a cipher.
The alternate substitution delimiter introduced in 2.4 (string.Template) was supposed to make string substitution easier. In fact it is a little cumbersome to use. This recipe employs a little stack hackery to make it as easy as it ought to be.
This recipe shows how to use the Python standard re module to perform single-pass multiple string substitution using a dictionary.
This is a small project aiming to prove a theory that grids can be solved using only the "possible value" method, whereby the numbers are filled in according the condition that that position has only one possible value, in filling this...
This applet is an aid to solving SuDoKu puzzles.
It doesn't generate puzzles. Rather, it allows you to track the consequences of the settings in each cell of the SuSoKu grid, so that a solution can be found. Once you have set up a...
This scrip determines the column vector 'x', given the LU decomposition of matrix 'A'. It performs the forward substitution, finding 'y=L*z', then, by backward substitution: 'z=U*x', determines the values of 'x'.
L-BFGS-B is a collection of Fortran 77 routines for solving nonlinear optimization problems with bound constraints on the variables. One of the key features of the nonlinear solver is that the Hessian is not needed. I've designed an interface to...
The bulirsch-Stoer single-step ODE propagator has come to MATLAB in form of a MEX adaptation of Juergen Dietel's Numerical ODE solver. This may very well be the fastest single-step numerical propagator released on the Mathworks...
Computes the Gauss hypergeometric function 2F1(a,b;c;z) and its derivative for real z, z<1 by integrating the defining differential equation using the Matlab differential equation solver ode15i.
If 2F1 is to be evaluated for many...
This is an example from new book "MATLAB i Simulink, poradnik uzytkownika" by Bogumila and Zbigniew Mrozek, to be published by Wydawnictwo Helion, Poland. A problem was how to provide additional parameter beta to ODE solver... |