Skip to content

Releases: pysathq/pysat

Version 0.1.7.dev15.

25 Dec 04:10
@alexeyignatiev alexeyignatiev
0.1.7.dev15
07bf3a5

Choose a tag to compare

View all tags
Version 0.1.7.dev15. Latest
Latest 
Updated unique MUS test.
Assets 3
Loading

Version 0.1.7.dev1.

01 Apr 04:49
@alexeyignatiev alexeyignatiev
0.1.7.dev1
d559ac4

Choose a tag to compare

View all tags
Version 0.1.7.dev1. 
Another fix in Mergesat compilation.
Loading

Version 0.1.6.dev6.

25 Jul 15:11
@alexeyignatiev alexeyignatiev
0.1.6.dev6
8a87421

Choose a tag to compare

View all tags
Version 0.1.6.dev6.

Fixed a few bugs in accum_stats(), enumeration mode of RC2Stratified, top_id handling in cardinality encodings.

Loading

Release 0.1.6.dev3.

07 Jul 08:35
@alexeyignatiev alexeyignatiev
0.1.6.dev3
3f86c28

Choose a tag to compare

View all tags
Release 0.1.6.dev3. 
A few more changes in the patch for CaDiCaL.
Loading