Skip to content

Actions: aaw/cnfc

Actions

All workflows

Actions

Loading...

Showing runs from all workflows
96 workflow runs
96 workflow runs
Event

Filter by event

Status

Filter by status

Branch
Actor

Filter by actor

add jane st. number cross 4 example
Python package #96: Commit a3f0f0f pushed by aaw
May 18, 2024 16:49 25s 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
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
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
May 7, 2024 11:23 23s
bump version
Python package #92: Commit 9e632f7 pushed by aaw
April 28, 2024 15:00 23s 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
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
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
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
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
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
April 20, 2024 13:49 22s
update tournament-scheduling
Python package #85: Commit 3025421 pushed by aaw
April 17, 2024 10:59 39s master
April 17, 2024 10:59 39s
update readme
Python package #84: Commit 68c3ada pushed by aaw
April 16, 2024 12:40 26s 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
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
April 14, 2024 12:40 22s
fix readme
Python package #81: Commit cdf13f1 pushed by aaw
April 14, 2024 12:25 30s 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
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
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
March 10, 2024 15:19 25s
add perfect cuboid example
Python package #77: Commit 0d957d8 pushed by aaw
February 17, 2024 16:18 24s master
February 17, 2024 16:18 24s
Merge branch 'master' of github.com:aaw/cnfc
Python package #76: Commit 8237bef pushed by aaw
November 26, 2023 13:53 23s master
November 26, 2023 13:53 23s
fix example README.md
Python package #75: Commit 84d95a6 pushed by aaw
November 26, 2023 13:48 21s master
November 26, 2023 13:48 21s
add another example
Python package #74: Commit a231b8c pushed by aaw
November 26, 2023 13:46 21s master
November 26, 2023 13:46 21s
auto-promote int to Integer in expressions with tuples
Python package #73: Commit 170dc3c pushed by aaw
November 26, 2023 13:38 27s master
November 26, 2023 13:38 27s
clean up trifference script
Python package #72: Commit ac5f2ab pushed by aaw
November 24, 2023 16:44 24s master
November 24, 2023 16:44 24s