Skip to content

Actions: aaw/cnfc

Actions

Python package

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

rework clause generation to use more tseytin helpers wherever possible Python package #148: Commit f5dc254 pushed by aaw
22s master
master
22s
fix github workflow Python package #147: Commit 9d22f96 pushed by aaw
22s master
master
22s
make build work with 3.x again Python package #146: Commit a91ff77 pushed by aaw
22s master
master
22s
add some end-to-end tests that exercise the full generate-solve-extra… Python package #145: Commit 6646261 pushed by aaw
23s master
master
23s
update from poetry to uv Python package #144: Commit ebad499 pushed by aaw
21s master
master
21s
add an implementation of blocked clause elimination (currently unused) Python package #143: Commit 0815d34 pushed by aaw
32s master
master
32s
add n-fractions example Python package #142: Commit cd14b5a pushed by aaw
35s master
master
35s
add python 3.x to test matrix Python package #141: Commit 8fcf1a7 pushed by aaw
30s master
master
30s
0.14.0 Python package #140: Release 0.14.0 published by aaw
50s
50s
bump version Python package #139: Commit f87c999 pushed by aaw
30s master
master
30s
fix Harvey's encoding for tuple inequalities, connect to equivalent v… Python package #138: Commit eeada3c pushed by aaw
36s master
master
36s
0.13.0 Python package #137: Release 0.13.0 published by aaw
48s
48s
bump version Python package #136: Commit 1894c85 pushed by aaw
33s master
master
33s
0.12.0 Python package #135: Release 0.12.0 published by aaw
19s
19s
bump version Python package #134: Commit 0ba0815 pushed by aaw
31s master
master
31s
Python package Python package #133: published by aaw
50s
50s
fix min/max, make them go through mostly same code path Python package #132: Commit 22ee59e pushed by aaw
33s master
master
33s
toasty Python package #131: Commit b6e071d pushed by aaw
37s master
master
37s
add complex matrix multiplication example Python package #130: Commit de7c41b pushed by aaw
27s master
master
27s
Add min/max, simplify AddVars usage with Integers Python package #129: Commit 9539fb8 pushed by aaw
31s master
master
31s
Adding an example of generating a trace from a string rewriting rule Python package #128: Commit 6f3a2f4 pushed by aaw
39s master
master
39s
update TODO Python package #127: Commit 7e4417c pushed by aaw
34s master
master
34s
0.11.0 Python package #126: Release 0.11.0 published by aaw
50s
50s
Bump version Python package #125: Commit cbc06ee pushed by aaw
33s master
master
33s
Easier way to define and extract integers, improve some examples Python package #124: Commit 84d84aa pushed by aaw
27s master
master
27s