Java based sat solver

Hi,
this is my n-th try for a sat solver:
http://tokisworld.org/sat/SATConverter.jar

Solver 4 can solve the factorization problem for 5 bits,
as well as these problems :
http://www.cs.ubc.ca/~hoos/SATLIB/Benchmarks/SAT/GCP/flat30-60.tar.gz
http://www.cs.ubc.ca/~hoos/SATLIB/Benchmarks/SAT/GCP/flat50-115.tar.gz

at acceptable time/memory usage.

Best Regards
Thorsten

.

Relevant Pages

Re: How do I determine which numbers in a list equal a given sum?
... Regards ... excellent exploitation of the 'Solver' utility! ... >> cells' ... Now hit the 'Add' button, ...
(microsoft.public.excel.misc)
Re: How to record macro for Solver in Excel?
... Do you have a reference/Link? ... The solution was to use Solv instead of Solver. ... > Thanks and regards, ... >> Tom Ogilvy ...
(microsoft.public.excel.programming)
Re: Zero crossing with fixed step size solver
... detection means: "dear solver, stop, go back and use a smaller time ... step because I had a zero crossing". ... the solver is able to do differently sized timesteps. ... With Regards ...
(comp.soft-sys.matlab)
Re: Running Solver Add-In through VB ?
... I am seeking for an example of using Automation Code for ... Solver in Visual Basic 6.0, do you know any web site or example, please? ... Best Regards, ... > The solver addin works with Excel. ...
(microsoft.public.excel.programming)
RE: Program search
... An example using solver ... Regards, ... Peo Sjoblom ... > problem I am having is that I have one total on my bank statement, ...
(microsoft.public.excel.misc)