Skip to content

Actions: aia-uclouvain/schlandals

Deploy mdBook

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
51 workflow runs
51 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

small cleanup
Deploy mdBook #51: Commit cee5d0f pushed by AlexandreDubray
November 27, 2024 08:36 1m 48s main
November 27, 2024 08:36 1m 48s
small update to parsers
Deploy mdBook #50: Commit e1e44b9 pushed by AlexandreDubray
November 26, 2024 07:27 1m 47s main
November 26, 2024 07:27 1m 47s
use malachite Rational instead of rug Float for high precision probab…
Deploy mdBook #49: Commit 2f15e0d pushed by AlexandreDubray
November 20, 2024 23:00 1m 45s main
November 20, 2024 23:00 1m 45s
use malachite Rational instead of rug Float for high precision probab…
Deploy mdBook #48: Commit 328249e pushed by AlexandreDubray
November 20, 2024 22:49 1m 47s main
November 20, 2024 22:49 1m 47s
use malachite Rational instead of rug Float for high precision probab…
Deploy mdBook #47: Commit 3f19d87 pushed by AlexandreDubray
November 20, 2024 22:42 1m 48s main
November 20, 2024 22:42 1m 48s
fix remaining of distributions after pre-process
Deploy mdBook #46: Commit 836ada7 pushed by AlexandreDubray
November 8, 2024 09:22 1m 48s main
November 8, 2024 09:22 1m 48s
[parser] trim end of line in CNF
Deploy mdBook #45: Commit 80694a3 pushed by AlexandreDubray
November 1, 2024 15:54 1m 39s main
November 1, 2024 15:54 1m 39s
[parser] trim end of line in CNF
Deploy mdBook #44: Commit a1100e6 pushed by AlexandreDubray
November 1, 2024 15:50 1m 41s main
November 1, 2024 15:50 1m 41s
remove tarpaulin
Deploy mdBook #43: Commit af2f4f9 pushed by AlexandreDubray
October 16, 2024 16:43 1m 44s main
October 16, 2024 16:43 1m 44s
remove tarpaulin
Deploy mdBook #42: Commit db63d25 pushed by AlexandreDubray
October 16, 2024 16:18 1m 42s main
October 16, 2024 16:18 1m 42s
update tarpaulin version
Deploy mdBook #41: Commit 6b90730 pushed by AlexandreDubray
October 16, 2024 15:52 1m 42s main
October 16, 2024 15:52 1m 42s
update tarpaulin version
Deploy mdBook #40: Commit a7c7f55 pushed by AlexandreDubray
October 16, 2024 15:43 1m 50s main
October 16, 2024 15:43 1m 50s
update tarpaulin version
Deploy mdBook #39: Commit 8b15658 pushed by AlexandreDubray
October 16, 2024 15:26 1m 43s main
October 16, 2024 15:26 1m 43s
avoid caching UNSAT results
Deploy mdBook #38: Commit eae4120 pushed by AlexandreDubray
October 16, 2024 15:10 1m 44s main
October 16, 2024 15:10 1m 44s
avoid cycles in clauses-graph
Deploy mdBook #37: Commit 212874c pushed by AlexandreDubray
October 9, 2024 13:12 1m 43s main
October 9, 2024 13:12 1m 43s
Use string hash key
Deploy mdBook #36: Commit feec913 pushed by AlexandreDubray
August 20, 2024 07:49 1m 44s main
August 20, 2024 07:49 1m 44s
update uai parser
Deploy mdBook #35: Commit 9690277 pushed by AlexandreDubray
August 20, 2024 06:38 1m 43s main
August 20, 2024 06:38 1m 43s
Generic solver over compilation to avoid unnecessary memory usage in …
Deploy mdBook #34: Commit 6d749b5 pushed by AlexandreDubray
August 20, 2024 06:37 1m 44s main
August 20, 2024 06:37 1m 44s
update toml to 0.1.3
Deploy mdBook #33: Commit 1b24457 pushed by AlexandreDubray
August 19, 2024 07:07 1m 45s main
August 19, 2024 07:07 1m 45s
update toml to 0.1.3
Deploy mdBook #32: Commit 38bde01 pushed by AlexandreDubray
August 19, 2024 06:30 1m 45s main
August 19, 2024 06:30 1m 45s
small doc update
Deploy mdBook #31: Commit 8f5df05 pushed by AlexandreDubray
August 12, 2024 08:50 1m 48s main
August 12, 2024 08:50 1m 48s
preprocess 0 to false
Deploy mdBook #30: Commit e76c1bc pushed by AlexandreDubray
August 9, 2024 15:13 1m 46s main
August 9, 2024 15:13 1m 46s
[pyschlandals] example with copy
Deploy mdBook #29: Commit 84ae108 pushed by AlexandreDubray
July 23, 2024 09:52 1m 44s main
July 23, 2024 09:52 1m 44s
[pyschlandals] Add copy method for problems
Deploy mdBook #28: Commit 1d41465 pushed by AlexandreDubray
June 19, 2024 14:48 1m 46s main
June 19, 2024 14:48 1m 46s
update pyschlandals
Deploy mdBook #27: Commit e583a1c pushed by AlexandreDubray
June 19, 2024 12:05 1m 48s main
June 19, 2024 12:05 1m 48s