Search Results for "parallel genetic algorithm"

...ATS is an object-oriented Python program that provides abstractions for user defined tests (usually specified with an executable and command line and / or an input file). It runs these tests, either in serial or in parallel, and creates a log file (or files) describing the results of running the tests. ATS provides the capability to run serial or parallel tests simultaneously up to the resource limits it has been given (i.e. some number of processors on which to run). Tests can be given a priority rating and be dependent upon other tests, and these features are accounted for in its scheduling algorithm. ...

This is an academic project; the main objective is to generate an algorithm to parallelize a CNF formula and then feed the distributed parts to sequential SAT solvers, for this project we have choose to use Sat4J as the solver.

Automatic test generation tool for Java, based on genetic algorithm.