Bård Skaflestad b867283f05 Fill semantic hole in initIteration(). Store the current sat-change. ...

This is needed to implement the accumulation term of the residual.

2011-10-06 14:57:46 +02:00

examples

Add an example program demonstrating the use of the ImplicitTransport solver.

2011-10-05 20:06:03 +02:00

m4

Add m4 directory with BLAS and LAPACK checks.

2010-11-10 10:39:48 +01:00

src

Fill semantic hole in initIteration(). Store the current sat-change.

2011-10-06 14:57:46 +02:00

tests

Move tests to a separate directory, 'tests'.

2011-10-05 10:23:49 +02:00

.hgignore

Expand 'ignore' list with a few more auto-generated files.

2011-09-28 14:28:40 +02:00

configure.ac

Hook 'examples' up to build.

2011-10-05 20:09:29 +02:00

Makefile.am

Hook 'examples' up to build.

2011-10-05 20:09:29 +02:00

Description

Collection of utilities, solvers and other components.

15 MiB

Languages

C++ 83%

C 15.9%

CMake 1%