issues
search
ConSol-Lab
/
Pumpkin
A lazy clause generation constraint solver written in Rust.
Apache License 2.0
17
stars
4
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
fix: issue with integer multiplication + correct path in msc file
#117
ImkoMarijnissen
opened
1 day ago
0
Panic exception when proof-logging
#116
IgnaceBleukx
opened
1 week ago
1
feat: remove explicit literals
#115
ImkoMarijnissen
opened
2 weeks ago
0
fix: disjunctive_scheduling example had incorrect negation constraint
#114
tiptenbrink
opened
2 weeks ago
0
fix: make pumpkin-py build without any additional installs
#113
tiptenbrink
opened
2 weeks ago
0
chore: release pumpkin-solver 0.2.0
#112
maartenflippo
closed
2 weeks ago
0
fix: wrong profile found for over-interval conflict explanation
#111
ImkoMarijnissen
closed
2 weeks ago
0
fix: cumulative sequence generation found less profiles than it should + fixing issues with debug propagation
#110
ImkoMarijnissen
closed
2 weeks ago
0
fix: cumulative holes in domain incorrectly used cached profile
#109
ImkoMarijnissen
closed
2 weeks ago
0
fix: use propagate for "<=" constraint + using solution reference from solution rather than solver
#108
ImkoMarijnissen
closed
2 weeks ago
0
refactor(pumpkin-solver): update to drcp-format v0.2.0
#107
maartenflippo
closed
2 weeks ago
0
chore: release pumpkin-solver 0.2.0
#106
maartenflippo
closed
2 weeks ago
1
chore: release drcp-format 0.2.0
#105
maartenflippo
closed
2 weeks ago
1
chore: release drcp-format 0.2.0
#104
maartenflippo
closed
2 weeks ago
0
chore: release pumpkin-solver 0.2.0
#103
maartenflippo
closed
2 weeks ago
0
build: move to release-plz to get better cargo workspace support
#102
maartenflippo
opened
2 weeks ago
0
fix: ensure drcp-format version is the published one
#101
maartenflippo
closed
2 weeks ago
0
chore: release drcp-format 0.2.0
#100
maartenflippo
closed
2 weeks ago
0
chore: release pumpkin-solver 0.2.0
#99
maartenflippo
closed
2 weeks ago
0
feat!: introduce inference-nogoods in drcp-format
#98
maartenflippo
closed
2 weeks ago
0
chore: release pumpkin-solver 0.1.4
#97
maartenflippo
closed
2 weeks ago
0
chore: release pumpkin-solver 0.1.3
#96
maartenflippo
closed
3 weeks ago
1
chore: release pumpkin-solver 0.1.3
#95
maartenflippo
closed
3 weeks ago
0
chore: release pumpkin-solver 0.1.3
#94
github-actions[bot]
closed
3 weeks ago
0
chore: release main
#93
github-actions[bot]
closed
3 weeks ago
0
chore: release main
#92
github-actions[bot]
closed
3 weeks ago
0
chore: bootstrap releases for path: drcp-format
#91
maartenflippo
closed
3 weeks ago
0
chore: bootstrap releases for path: pumpkin-solver
#90
maartenflippo
closed
3 weeks ago
0
chore: bootstrap releases for path: .
#89
maartenflippo
closed
3 weeks ago
0
release: pumpkin-solver-v0.1.2
#88
maartenflippo
closed
3 weeks ago
0
feat: implement consistency check interface in linear less than propagator
#87
maartenflippo
closed
3 weeks ago
0
feat: adding option to force incremental cumulative propagators to find the same trace as non-incremental
#86
ImkoMarijnissen
closed
3 weeks ago
0
fix: take ownership of the propagation context in propagators
#85
maartenflippo
closed
3 weeks ago
0
fix: Take ownership of the propagation context in propagators
#84
maartenflippo
closed
3 weeks ago
0
fix: float stat into one line
#83
RobbinBaauw
closed
3 weeks ago
0
fix: allowing unit conflict explanation
#82
ImkoMarijnissen
closed
3 weeks ago
2
Error when propagator returns unit conflict explanation
#81
ImkoMarijnissen
opened
3 weeks ago
5
fix: complete proof when propagator initialization identifies root-level conflict
#80
ImkoMarijnissen
closed
3 weeks ago
1
PanicException thrown for UNSAT models
#79
IgnaceBleukx
closed
3 weeks ago
2
fix: issue with time-point ending up between profiles for pointwise sequence explanation
#78
ImkoMarijnissen
closed
3 weeks ago
0
fix: do not print intermediate solution when flag is not set + solution callback for satisfaction problems
#77
ImkoMarijnissen
closed
3 weeks ago
0
chore: changing links to absolute links
#76
ImkoMarijnissen
closed
3 weeks ago
0
chore: creating release_name variable in workflow script
#75
ImkoMarijnissen
closed
1 month ago
0
fix: using contains in if-statement rather than direct equality
#74
ImkoMarijnissen
closed
1 month ago
0
feat: allow logging of statistics to arbitrary writers
#73
RobbinBaauw
closed
2 weeks ago
1
Release: pumpkin-solver v0.1.1
#72
maartenflippo
closed
1 month ago
0
chore: update usage in README
#71
maartenflippo
closed
1 month ago
0
chore: updating badges to be links to crates.io
#70
ImkoMarijnissen
closed
1 month ago
0
chore: debug release pipeline
#69
maartenflippo
closed
1 month ago
0
docs: add link to paper and fix container mod documentation & make image in README use link
#68
ImkoMarijnissen
closed
1 month ago
0
Next