Skip to content

Actions: huub-solver/huub

Actions

Check Format

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
format.yml
340 workflow runs
340 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Fix FlatZinc mapping for bool_clause_reif Check Format #40: Commit ff958b8 pushed by Dekker1
May 8, 2024 05:03 23s develop
develop
May 8, 2024 05:03 23s
Fix FlatZinc mapping for bool_clause_reif Check Format #39: Commit ff958b8 pushed by Dekker1
May 8, 2024 05:00 25s feat/prop_logic
feat/prop_logic
May 8, 2024 05:00 25s
Improve testing infrastructure and add more propositional logic tests Check Format #38: Commit 1e515c0 pushed by Dekker1
May 8, 2024 04:35 21s feat/prop_logic
feat/prop_logic
May 8, 2024 04:35 21s
Add Ctrl-C handler when no intermediate output is used Check Format #37: Commit 426792d pushed by Dekker1
May 7, 2024 11:08 25s feat/prop_logic
feat/prop_logic
May 7, 2024 11:08 25s
Add branch_and_bound method to Solver Check Format #36: Commit 7b037e2 pushed by Dekker1
May 7, 2024 10:16 26s feat/prop_logic
feat/prop_logic
May 7, 2024 10:16 26s
Add basic modelling and reformulation of propositional logic Check Format #35: Commit f8fa2de pushed by Dekker1
May 7, 2024 04:15 21s feat/prop_logic
feat/prop_logic
May 7, 2024 04:15 21s
Add basic modelling and reformulation of propositional logic Check Format #34: Commit 747815b pushed by Dekker1
May 7, 2024 01:14 26s feat/prop_logic
feat/prop_logic
May 7, 2024 01:14 26s
Add basic modelling and reformulation of propositional logic Check Format #33: Commit d40e827 pushed by Dekker1
May 6, 2024 11:35 22s feat/prop_logic
feat/prop_logic
May 6, 2024 11:35 22s
Add basic modelling and reformulation of propositional logic Check Format #32: Commit 1fff02b pushed by Dekker1
May 6, 2024 11:32 24s feat/prop_logic
feat/prop_logic
May 6, 2024 11:32 24s
Fix the connection from FlatZinc to the linear propagator Check Format #31: Commit dc776fd pushed by Dekker1
May 3, 2024 09:56 20s develop
develop
May 3, 2024 09:56 20s
Add time limit to fzn-huub Check Format #30: Commit c0efa68 pushed by Dekker1
April 30, 2024 09:46 24s develop
develop
April 30, 2024 09:46 24s
Add time limit to fzn-huub Check Format #29: Commit c0efa68 pushed by Dekker1
April 30, 2024 09:26 24s feat/time_limit
feat/time_limit
April 30, 2024 09:26 24s
Add time limit to fzn-huub Check Format #28: Commit 4547585 pushed by Dekker1
April 30, 2024 09:23 23s feat/time_limit
feat/time_limit
April 30, 2024 09:23 23s
Fix conflict reasoning in Engine Check Format #27: Commit 7bb92da pushed by Dekker1
April 30, 2024 07:00 23s develop
develop
April 30, 2024 07:00 23s
Fix conflict reasoning in Engine Check Format #26: Commit 2e6a5af pushed by Dekker1
April 30, 2024 06:55 21s feat/engine_traits
feat/engine_traits
April 30, 2024 06:55 21s
Add ability to clone Engine and Solver Check Format #25: Commit 3e7ea46 pushed by Dekker1
April 29, 2024 05:46 29s develop
develop
April 29, 2024 05:46 29s
Add ability to clone Engine and Solver Check Format #24: Commit 3e7ea46 pushed by Dekker1
April 29, 2024 05:44 22s feat/clone_engine
feat/clone_engine
April 29, 2024 05:44 22s
Update library to work with the newest version of pindakaas Check Format #23: Commit fb33721 pushed by Dekker1
April 26, 2024 10:11 19s develop
develop
April 26, 2024 10:11 19s
Update library to work with the newest version of pindakaas Check Format #22: Commit fb33721 pushed by Dekker1
April 26, 2024 10:08 20s feat/lazy_encoding
feat/lazy_encoding
April 26, 2024 10:08 20s
Update library to work with the newest version of pindakaas Check Format #21: Commit de3390a pushed by Dekker1
April 26, 2024 10:06 21s feat/lazy_encoding
feat/lazy_encoding
April 26, 2024 10:06 21s
Update library to work with the newest version of pindakaas Check Format #20: Commit c906829 pushed by Dekker1
April 26, 2024 09:32 24s feat/lazy_encoding
feat/lazy_encoding
April 26, 2024 09:32 24s
Update library to work with the newest version of pindakaas Check Format #19: Commit 5cf737b pushed by Dekker1
April 26, 2024 09:30 23s feat/lazy_encoding
feat/lazy_encoding
April 26, 2024 09:30 23s
Update workflows to trigger on every push Check Format #18: Commit 221ad2f pushed by Dekker1
April 26, 2024 08:37 20s develop
develop
April 26, 2024 08:37 20s
Bump thiserror from 1.0.58 to 1.0.59 in the production group Check Format #17: Pull request #9 opened by dependabot bot
April 22, 2024 09:20 24s dependabot/cargo/production-0895eb5417
dependabot/cargo/production-0895eb5417
April 22, 2024 09:20 24s
Add IntView::Const as initial way to deal with constants in constraints Check Format #16: Pull request #8 opened by Dekker1
April 22, 2024 01:37 25s feat/const
feat/const
April 22, 2024 01:37 25s
ProTip! You can narrow down the results and go further in time using created:<2024-04-22 or the other filters available.