issues
search
chrjabs
/
rustsat
This library aims to provide implementations of elements commonly used in the development on software in the area of satisfiability solving. The focus of the library is to provide as much ease of use without giving up on performance.
https://crates.io/crates/rustsat
MIT License
12
stars
7
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
build(deps): bump the patch-updates group across 1 directory with 5 updates
#176
dependabot[bot]
opened
1 day ago
0
build(deps): bump the patch-updates group across 1 directory with 5 updates
#175
dependabot[bot]
closed
1 day ago
1
build(deps): bump the patch-updates group with 4 updates
#174
dependabot[bot]
closed
3 days ago
1
Group dependabot PRs
#173
chrjabs
closed
4 days ago
0
build(deps): bump cc from 1.1.31 to 1.1.34
#172
dependabot[bot]
closed
4 days ago
1
build(deps): bump thiserror from 1.0.65 to 1.0.68
#171
dependabot[bot]
closed
4 days ago
1
build(deps): bump syn from 2.0.85 to 2.0.87
#170
dependabot[bot]
closed
4 days ago
1
build(deps): bump anyhow from 1.0.91 to 1.0.92
#169
dependabot[bot]
closed
4 days ago
1
build(deps): bump syn from 2.0.85 to 2.0.86
#168
dependabot[bot]
closed
5 days ago
1
build(deps): bump thiserror from 1.0.65 to 1.0.66
#167
dependabot[bot]
closed
5 days ago
1
Various housekeeping / dev-setup tasks
#166
chrjabs
closed
1 week ago
0
DPW reserve, skip variables that are not connected
#165
chrjabs
opened
1 week ago
0
Setting Timeout Option in rustsat-cadical
#164
gn64
opened
1 week ago
1
build(deps): bump syn from 2.0.83 to 2.0.85
#163
dependabot[bot]
closed
2 weeks ago
0
chore: release
#162
rustsat-release-plz-bot[bot]
opened
2 weeks ago
0
build(deps): bump syn from 2.0.82 to 2.0.83
#161
dependabot[bot]
closed
2 weeks ago
0
build(deps): bump install-pinned/mypy from 812c1e7b83dc0b678bdb1c0610d937077c32615e to 15172e0901cf7045a4181d12138212867fb66389
#160
dependabot[bot]
closed
2 weeks ago
0
chore: release
#159
rustsat-release-plz-bot[bot]
closed
2 weeks ago
0
build(deps): bump anyhow from 1.0.90 to 1.0.91
#158
dependabot[bot]
closed
2 weeks ago
0
build(deps): bump proc-macro2 from 1.0.88 to 1.0.89
#157
dependabot[bot]
closed
2 weeks ago
0
build(deps): bump thiserror from 1.0.64 to 1.0.65
#156
dependabot[bot]
closed
2 weeks ago
0
chore: release
#155
rustsat-release-plz-bot[bot]
closed
2 weeks ago
0
build(deps): bump install-pinned/mypy from 2b7ed3821d580865e560636733cce75157624e34 to 812c1e7b83dc0b678bdb1c0610d937077c32615e
#154
dependabot[bot]
closed
2 weeks ago
0
build(deps): bump cc from 1.1.30 to 1.1.31
#153
dependabot[bot]
closed
2 weeks ago
0
build(deps): bump syn from 2.0.79 to 2.0.82
#152
dependabot[bot]
closed
2 weeks ago
0
build(deps): bump anyhow from 1.0.89 to 1.0.90
#151
dependabot[bot]
closed
2 weeks ago
0
Check variable addition overflow in debug builds
#150
chrjabs
closed
3 weeks ago
0
Kissat cadical src
#149
chrjabs
opened
3 weeks ago
0
build(deps): bump proc-macro2 from 1.0.87 to 1.0.88
#148
dependabot[bot]
closed
2 weeks ago
0
Include C(++) source for newest version of CaDiCaL/Kissat
#147
chrjabs
opened
3 weeks ago
0
chore: release
#146
rustsat-release-plz-bot[bot]
closed
2 weeks ago
0
chore: release
#145
rustsat-release-plz-bot[bot]
closed
3 weeks ago
0
chore: release
#144
rustsat-release-plz-bot[bot]
closed
3 weeks ago
0
chore: release
#143
rustsat-release-plz-bot[bot]
closed
3 weeks ago
0
build(deps): bump pyo3 from 0.22.4 to 0.22.5
#142
dependabot[bot]
closed
3 weeks ago
0
chore: release
#141
rustsat-release-plz-bot[bot]
closed
3 weeks ago
0
build(deps): bump cc from 1.1.28 to 1.1.30
#140
dependabot[bot]
closed
3 weeks ago
0
build(deps): bump install-pinned/mypy from b894abac469541f33f8957d4aa33b24e4464161e to 2b7ed3821d580865e560636733cce75157624e34
#139
dependabot[bot]
closed
3 weeks ago
0
build(deps): bump pyo3 from 0.22.3 to 0.22.4
#138
dependabot[bot]
closed
3 weeks ago
0
build(deps): bump install-pinned/maturin from 3d59037009f92def8f023f3b3e4810179477786d to ab13013f30551a87b56c6a9c2bdd7b6287581def
#137
dependabot[bot]
closed
3 weeks ago
1
build(deps): bump install-pinned/mypy from 52365a71b7d64ebed3db400b67077d3e91a769b4 to b894abac469541f33f8957d4aa33b24e4464161e
#136
dependabot[bot]
closed
3 weeks ago
1
build(deps): bump install-pinned/maturin from 3d59037009f92def8f023f3b3e4810179477786d to 6f1db1ad43a0c7eac558f10b81c967da256f1e19
#135
dependabot[bot]
closed
1 month ago
1
build(deps): bump install-pinned/maturin from 3d59037009f92def8f023f3b3e4810179477786d to 1ab840703ec751b7a967d5a509c455683eea38de
#134
dependabot[bot]
closed
1 month ago
1
build(deps): bump install-pinned/maturin from 3d59037009f92def8f023f3b3e4810179477786d to 8080255cdbc6cf8a434f2ebb5509b0ec7ede4545
#133
dependabot[bot]
closed
1 month ago
1
build(deps): update pyo3 requirement from 0.21.1 to 0.22.3
#132
dependabot[bot]
closed
3 weeks ago
1
build(deps): update pyo3-build-config requirement from 0.21.1 to 0.22.3
#131
dependabot[bot]
closed
3 weeks ago
1
Include generalized totalizer C API in compiled bindings
#130
domschrei
closed
2 months ago
2
build(deps): bump install-pinned/mypy from 52365a71b7d64ebed3db400b67077d3e91a769b4 to 2b552bed479e3f7065314667b670f7303619e989
#129
dependabot[bot]
closed
2 months ago
2
build(deps): bump install-pinned/maturin from 3d59037009f92def8f023f3b3e4810179477786d to 42909d1d2133f0cf2a1f1228fa57b2d0fe11f6d9
#128
dependabot[bot]
closed
2 months ago
2
build(deps): update cbindgen requirement from 0.26.0 to 0.27.0
#127
dependabot[bot]
closed
2 months ago
2
Next