SVN Log


Commit Date  
[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
[r1904] by lukaszkaiser

Bugfixing

2013-08-20 04:57:06 Tree
[r1903] by lukaszkaiser

Optimizing external sat-solver interface for lower memory use, adding options to QBF learning tests.

2013-08-17 15:57:04 Tree
[r1902] by lukaszkaiser

Better list hashing and symbolic unary numbers with order encoding.

2013-08-14 15:58:39 Tree
[r1901] by lukaszkaiser

OptimizingQBF

2013-08-12 14:15:43 Tree
[r1900] by lukaszkaiser

Optimisations

2013-08-09 13:00:19 Tree
[r1899] by lukaszkaiser

Adding options to QBFTest and correcting qiscas output.

2013-08-07 09:55:09 Tree
Older >

Get latest updates about Open Source Projects, Conferences and News.

Sign up for the SourceForge newsletter:





No, thanks