Skip to content

Actions: aaw/cnfc

Actions

Python package

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
python-package.yml
73 workflow runs
73 workflow runs

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
v2.1.0 Python package #191: Release v2.1.0 published by aaw
1m 21s
1m 21s
rm TODO Python package #190: Commit d991c79 pushed by aaw
48s master
master
48s
add Graph with Connected and Reachable predicates with two examples Python package #189: Commit fbe837b pushed by aaw
48s master
master
48s
add an AllDifferent helper for integers Python package #188: Commit 89d02fb pushed by aaw
36s master
master
36s
flatten trees of ORs/ANDs Python package #187: Commit ce29328 pushed by aaw
44s master
master
44s
optimize literal-constant comparisons Python package #186: Commit 9704ed6 pushed by aaw
36s master
master
36s
optimize constant partial products when multiplying Python package #185: Commit 111dd37 pushed by aaw
38s master
master
38s
make regex encoding deterministic by numbering automaton states inste… Python package #184: Commit f3d4106 pushed by aaw
42s master
master
42s
avoid auxiliary variables when asserting conjunctions and comparing i… Python package #183: Commit e6f12f9 pushed by aaw
47s master
master
47s
more sum/prod re-use Python package #182: Commit 156ee20 pushed by aaw
46s master
master
46s
drop synthetic identity that sum/math.prod add if the sum/product is … Python package #181: Commit 1d78c64 pushed by aaw
39s master
master
39s
big sweep to clean up/simplify examples Python package #180: Commit e0be230 pushed by aaw
47s master
master
47s
simplify some examples now that we support negative integers Python package #179: Commit c911557 pushed by aaw
45s master
master
45s
v2.0.0 Python package #178: Release v2.0.0 published by aaw
1m 2s
1m 2s
remove some unused dummy expressions Python package #177: Commit 26d7d51 pushed by aaw
45s master
master
45s
implement a blocker to enumerate solutions Python package #176: Commit 44dd7fd pushed by aaw
48s master
master
48s
rename generate_var/generate_cnf internally Python package #175: Commit 79f3dab pushed by aaw
45s master
master
45s
TODO clean-up Python package #174: Commit fb38493 pushed by aaw
44s master
master
44s
clean up TODOs after experimenting Python package #173: Commit eaaf296 pushed by aaw
34s master
master
34s
switch integer representation to twos-complement to support solving f… Python package #172: Commit 8bbbce9 pushed by aaw
47s master
master
47s
add more examples to integration test suite Python package #171: Commit ab22da6 pushed by aaw
39s master
master
39s
use cardinality shortcuts for constant ints Python package #170: Commit cf0bc1d pushed by aaw
38s master
master
38s
use binary counting for large cardinality equality/inequality constra… Python package #169: Commit cdf1be9 pushed by aaw
28s master
master
28s
a few more cardinality comparison optimizations, clean up TODO Python package #168: Commit f249d96 pushed by aaw
36s master
master
36s
extend support for chained comparisons, use in scheduling example Python package #167: Commit 678497f pushed by aaw
32s master
master
32s