Tags · solhop/rsat · GitHub

+

This repository was archived by the owner on Sep 18, 2021. It is now read-only.

Tags

v0.1.12

Oct 18, 2020
5f09f32
zip
tar.gz

v0.1.11

Jun 5, 2020
9100700
zip
tar.gz

v0.1.10

May 25, 2020
e57959a
zip
tar.gz

v0.1.9

May 25, 2020
89b40ca
zip
tar.gz

v0.1.8

May 25, 2020
8c695bb
zip
tar.gz

v0.1.7

Remove binaries

Nov 22, 2019
5abad3d
zip
tar.gz

v0.1.6

Refactor code for msat and sls

Nov 2, 2019
658f7cb
zip
tar.gz

v0.1.5

Support for data parallelism and custom scoring function

in SLS Solver.

Oct 5, 2019
fce27b8
zip
tar.gz

v0.1.4

Improve restart strategy with clause deletion strategy

Sep 29, 2019
bb567a2
zip
tar.gz

v0.1.3

Implement CDCL solver.

Sep 28, 2019
1233350
zip
tar.gz

PreviousNext

点击这是indexloc提供的php浏览器服务，不要输入任何密码和下载