SVN Log


Commit Date  
[r1929] by lukaszkaiser

Improve documentation of the compilation process.

2014-01-31 01:23:53 Tree
[r1928] by lukaszkaiser

Debugging a typo.

2013-12-10 04:29:35 Tree
[r1927] by lukaszkaiser

Adding an option to disable depqbf learning in mpiqbf.

2013-11-26 06:12:30 Tree
[r1926] by lukaszkaiser

Bugfixes in Server and for 32-bit compilation.

2013-11-25 07:46:45 Tree
[r1925] by lukaszkaiser

Test cleanup and other stuff for 1.0 release.

2013-11-11 00:16:36 Tree
[r1924] by lukaszkaiser

Various small improvements.

2013-11-10 06:14:27 Tree
[r1923] by lukaszkaiser

Update news section and correct JS compilation.

2013-11-05 08:37:58 Tree
[r1922] by lukaszkaiser

Refresh trs_set_struc and its unit test.

2013-11-03 08:47:04 Tree
[r1921] by lukaszkaiser

Debugging DiagramTest and QBF printing in ReductionTest.

2013-10-14 03:04:45 Tree
[r1920] by lukaszkaiser

More mpiqbf options (from Skip).

2013-10-09 05:04:14 Tree
[r1919] by lukaszkaiser

Timeout for mpiqbf.

2013-10-06 00:22:53 Tree
[r1918] by lukaszkaiser

Correcting mpisat and improving lingeling and depqbf interfaces.

2013-10-04 01:07:27 Tree
[r1917] by lukaszkaiser

Adding timeout to mpisat.

2013-10-03 00:09:43 Tree
[r1916] by lukaszkaiser

Freeze in lgl wrapper and trivial-freeze run in mpisat.

2013-09-19 13:59:59 Tree
[r1915] by lukaszkaiser

Lingeling timer patch and trying to use it in mpisat.

2013-09-17 17:01:53 Tree
[r1914] by lukaszkaiser

Make clear that some solvers have other licenses which must be respected.

2013-09-02 12:06:06 Tree
[r1913] by lukaszkaiser

Add expansion option for reduction->qbf transformation.

2013-08-29 05:46:22 Tree
[r1912] by lukaszkaiser

More reduction options and lfp asym improvements.

2013-08-28 11:28:05 Tree
[r1911] by lukaszkaiser

Better mpiqbf and lingeling bindings

2013-08-28 06:48:58 Tree
[r1910] by lukaszkaiser

Better mpiqbf and lingeling bindings

2013-08-28 06:48:01 Tree
[r1909] by lukaszkaiser

Debugging stack overflow in Aux.range

2013-08-27 12:13:38 Tree
[r1908] by lukaszkaiser

Reduction qbf for size ranges and mpiqbf debugging.

2013-08-27 11:16:27 Tree
[r1907] by lukaszkaiser

Depqbf

2013-08-27 05:31:27 Tree
[r1906] by lukaszkaiser

Mpisat

2013-08-23 08:06:39 Tree
[r1905] by lukaszkaiser

Optimisations1

2013-08-21 11:20:31 Tree
Older >