Skip to content

Actions: aaw/cnfc

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
102 workflow runs
102 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

update todo Python package #102: Commit 0cdac76 pushed by aaw
August 3, 2024 14:15 27s master
master
August 3, 2024 14:15 27s
Replace DPLL solver in tests with millisat, a CDCL solver. Enable all… Python package #101: Commit d259033 pushed by aaw
July 26, 2024 14:06 29s master
master
July 26, 2024 14:06 29s
adding some extras to altered states 2 example Python package #100: Commit 93cd508 pushed by aaw
July 2, 2024 11:45 24s master
master
July 2, 2024 11:45 24s
Support exponentiation and modular exponentiation Python package #99: Commit 9efcbc0 pushed by aaw
June 28, 2024 10:39 30s master
master
June 28, 2024 10:39 30s
update TODO Python package #98: Commit 4b777ba pushed by aaw
June 16, 2024 14:14 27s master
master
June 16, 2024 14:14 27s
add Jane St. altered states puzzles 1 and 2 Python package #97: Commit 2bbe43c pushed by aaw
June 10, 2024 11:14 28s master
master
June 10, 2024 11:14 28s
add jane st. number cross 4 example Python package #96: Commit a3f0f0f pushed by aaw
May 18, 2024 16:49 25s master
master
May 18, 2024 16:49 25s
add IsPalindrome for Integers Python package #95: Commit 72442e8 pushed by aaw
May 18, 2024 16:47 25s master
master
May 18, 2024 16:47 25s
TupleTernaryExpr should define its own length instead of inherit Python package #94: Commit cb315f6 pushed by aaw
May 9, 2024 10:59 25s master
master
May 9, 2024 10:59 25s
implement polymorphic If: implication with two params, ternary operat… Python package #93: Commit 342fba7 pushed by aaw
May 7, 2024 11:23 23s master
master
May 7, 2024 11:23 23s
bump version Python package #92: Commit 9e632f7 pushed by aaw
April 28, 2024 15:00 23s master
master
April 28, 2024 15:00 23s
rename Implies to If Python package #91: Commit 5091910 pushed by aaw
April 28, 2024 14:59 25s master
master
April 28, 2024 14:59 25s
add pandigital square date example Python package #90: Commit 52640fc pushed by aaw
April 27, 2024 15:43 25s master
master
April 27, 2024 15:43 25s
more ordering constraints and no simplification, which speeds up 5-ro… Python package #89: Commit 8174e69 pushed by aaw
April 24, 2024 12:08 35s master
master
April 24, 2024 12:08 35s
more tournament symmetry-breaking Python package #88: Commit f86c0bd pushed by aaw
April 23, 2024 00:12 38s master
master
April 23, 2024 00:12 38s
remove hard-coded 3 Python package #87: Commit 876ac9c pushed by aaw
April 20, 2024 22:21 25s master
master
April 20, 2024 22:21 25s
adding more symmetry-breaking to tournament scheduling Python package #86: Commit 9a86323 pushed by aaw
April 20, 2024 13:49 22s master
master
April 20, 2024 13:49 22s
update tournament-scheduling Python package #85: Commit 3025421 pushed by aaw
April 17, 2024 10:59 39s master
master
April 17, 2024 10:59 39s
update readme Python package #84: Commit 68c3ada pushed by aaw
April 16, 2024 12:40 26s master
master
April 16, 2024 12:40 26s
add a tournament scheduling example Python package #83: Commit df869e3 pushed by aaw
April 16, 2024 12:14 1m 2s master
master
April 16, 2024 12:14 1m 2s
apple banana pineapple puzzle Python package #82: Commit 663758b pushed by aaw
April 14, 2024 12:40 22s master
master
April 14, 2024 12:40 22s
fix readme Python package #81: Commit cdf13f1 pushed by aaw
April 14, 2024 12:25 30s master
master
April 14, 2024 12:25 30s
adding a pandigital alphametic example Python package #80: Commit 6a8f0fa pushed by aaw
April 14, 2024 12:23 24s master
master
April 14, 2024 12:23 24s
add product-sum sudoku example Python package #79: Commit 0f9bc5c pushed by aaw
March 16, 2024 13:02 25s master
master
March 16, 2024 13:02 25s
add attacking chessboard example Python package #78: Commit 9e3da53 pushed by aaw
March 10, 2024 15:19 25s master
master
March 10, 2024 15:19 25s