├── .github └── workflows │ ├── publish_submission.yml │ └── submissions.yml ├── .gitignore ├── Cargo.toml ├── README.md ├── docs ├── img │ ├── overdrive.png │ └── source.jpg ├── syntax.md ├── test_strategy.md └── variants.md ├── src ├── game.rs ├── language.rs ├── main.rs └── util │ ├── indexed_string.rs │ ├── mod.rs │ └── parsing.rs ├── strats ├── __init__.py ├── _backend.py ├── game │ ├── __init__.py │ ├── consts.py │ ├── manager.py │ └── types.py ├── scoring │ ├── __init__.py │ ├── complexity.py │ ├── consts.py │ ├── runner.py │ └── scoreboard.py └── strategy.py ├── submissions ├── public │ ├── default │ │ ├── 20240917_225929_vzsky.py │ │ ├── 20240920_141117_default_optim.py │ │ ├── 20241002_035437_itr.py │ │ ├── 20241020_143248_itr_default_new_rules.py │ │ ├── 20250828_023828_itr_minimal.py │ │ └── README.md │ ├── easy │ │ ├── 20240917_224518_submit_easy.py │ │ ├── 20240918_001159_itr.py │ │ ├── 20240920_095918_easy_optim.py │ │ ├── 20240920_210927_asserting_absurdly_minimal_complexity.py │ │ └── README.md │ ├── hard │ │ ├── 20240917_230605_tmorgan7192_strategy.py │ │ ├── 20240918_142447_bryker_strategy.py │ │ ├── 20240918_223240_hard_strat_bryker_optimised.py │ │ ├── 20240919_040726_jix_sat_synthesized.py │ │ ├── 20240920_210459_optim_hard.py │ │ ├── 20240921_154610_jix_sat_pruned.py │ │ ├── 20240921_214752_viliml_sat_synthesized.py │ │ ├── 20241013_113416_ganitsu_simple_sat.py │ │ ├── 20241015_010940_viliml_simpler_sat.py │ │ ├── 20241017_005733_ganitsu_simplest_sat.py │ │ ├── 20241020_144430_ganitsu_joke_simplified.py │ │ ├── 20250828_023728_ganitsu_optim.py │ │ └── README.md │ └── scores.json └── sample │ └── tutorial.py └── test_strategy.py /.github/workflows/publish_submission.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SheafificationOfG/BoolosBrewery/HEAD/.github/workflows/publish_submission.yml -------------------------------------------------------------------------------- /.github/workflows/submissions.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SheafificationOfG/BoolosBrewery/HEAD/.github/workflows/submissions.yml -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SheafificationOfG/BoolosBrewery/HEAD/.gitignore -------------------------------------------------------------------------------- /Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SheafificationOfG/BoolosBrewery/HEAD/Cargo.toml -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SheafificationOfG/BoolosBrewery/HEAD/README.md -------------------------------------------------------------------------------- /docs/img/overdrive.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SheafificationOfG/BoolosBrewery/HEAD/docs/img/overdrive.png -------------------------------------------------------------------------------- /docs/img/source.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SheafificationOfG/BoolosBrewery/HEAD/docs/img/source.jpg -------------------------------------------------------------------------------- /docs/syntax.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SheafificationOfG/BoolosBrewery/HEAD/docs/syntax.md -------------------------------------------------------------------------------- /docs/test_strategy.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SheafificationOfG/BoolosBrewery/HEAD/docs/test_strategy.md -------------------------------------------------------------------------------- /docs/variants.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SheafificationOfG/BoolosBrewery/HEAD/docs/variants.md -------------------------------------------------------------------------------- /src/game.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SheafificationOfG/BoolosBrewery/HEAD/src/game.rs -------------------------------------------------------------------------------- /src/language.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SheafificationOfG/BoolosBrewery/HEAD/src/language.rs -------------------------------------------------------------------------------- /src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SheafificationOfG/BoolosBrewery/HEAD/src/main.rs -------------------------------------------------------------------------------- /src/util/indexed_string.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SheafificationOfG/BoolosBrewery/HEAD/src/util/indexed_string.rs -------------------------------------------------------------------------------- /src/util/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SheafificationOfG/BoolosBrewery/HEAD/src/util/mod.rs -------------------------------------------------------------------------------- /src/util/parsing.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SheafificationOfG/BoolosBrewery/HEAD/src/util/parsing.rs -------------------------------------------------------------------------------- /strats/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SheafificationOfG/BoolosBrewery/HEAD/strats/__init__.py -------------------------------------------------------------------------------- /strats/_backend.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SheafificationOfG/BoolosBrewery/HEAD/strats/_backend.py -------------------------------------------------------------------------------- /strats/game/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /strats/game/consts.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SheafificationOfG/BoolosBrewery/HEAD/strats/game/consts.py -------------------------------------------------------------------------------- /strats/game/manager.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SheafificationOfG/BoolosBrewery/HEAD/strats/game/manager.py -------------------------------------------------------------------------------- /strats/game/types.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SheafificationOfG/BoolosBrewery/HEAD/strats/game/types.py -------------------------------------------------------------------------------- /strats/scoring/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SheafificationOfG/BoolosBrewery/HEAD/strats/scoring/__init__.py -------------------------------------------------------------------------------- /strats/scoring/complexity.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SheafificationOfG/BoolosBrewery/HEAD/strats/scoring/complexity.py -------------------------------------------------------------------------------- /strats/scoring/consts.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SheafificationOfG/BoolosBrewery/HEAD/strats/scoring/consts.py -------------------------------------------------------------------------------- /strats/scoring/runner.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SheafificationOfG/BoolosBrewery/HEAD/strats/scoring/runner.py -------------------------------------------------------------------------------- /strats/scoring/scoreboard.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SheafificationOfG/BoolosBrewery/HEAD/strats/scoring/scoreboard.py -------------------------------------------------------------------------------- /strats/strategy.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SheafificationOfG/BoolosBrewery/HEAD/strats/strategy.py -------------------------------------------------------------------------------- /submissions/public/default/20240917_225929_vzsky.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SheafificationOfG/BoolosBrewery/HEAD/submissions/public/default/20240917_225929_vzsky.py -------------------------------------------------------------------------------- /submissions/public/default/20240920_141117_default_optim.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SheafificationOfG/BoolosBrewery/HEAD/submissions/public/default/20240920_141117_default_optim.py -------------------------------------------------------------------------------- /submissions/public/default/20241002_035437_itr.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SheafificationOfG/BoolosBrewery/HEAD/submissions/public/default/20241002_035437_itr.py -------------------------------------------------------------------------------- /submissions/public/default/20241020_143248_itr_default_new_rules.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SheafificationOfG/BoolosBrewery/HEAD/submissions/public/default/20241020_143248_itr_default_new_rules.py -------------------------------------------------------------------------------- /submissions/public/default/20250828_023828_itr_minimal.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SheafificationOfG/BoolosBrewery/HEAD/submissions/public/default/20250828_023828_itr_minimal.py -------------------------------------------------------------------------------- /submissions/public/default/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SheafificationOfG/BoolosBrewery/HEAD/submissions/public/default/README.md -------------------------------------------------------------------------------- /submissions/public/easy/20240917_224518_submit_easy.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SheafificationOfG/BoolosBrewery/HEAD/submissions/public/easy/20240917_224518_submit_easy.py -------------------------------------------------------------------------------- /submissions/public/easy/20240918_001159_itr.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SheafificationOfG/BoolosBrewery/HEAD/submissions/public/easy/20240918_001159_itr.py -------------------------------------------------------------------------------- /submissions/public/easy/20240920_095918_easy_optim.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SheafificationOfG/BoolosBrewery/HEAD/submissions/public/easy/20240920_095918_easy_optim.py -------------------------------------------------------------------------------- /submissions/public/easy/20240920_210927_asserting_absurdly_minimal_complexity.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SheafificationOfG/BoolosBrewery/HEAD/submissions/public/easy/20240920_210927_asserting_absurdly_minimal_complexity.py -------------------------------------------------------------------------------- /submissions/public/easy/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SheafificationOfG/BoolosBrewery/HEAD/submissions/public/easy/README.md -------------------------------------------------------------------------------- /submissions/public/hard/20240917_230605_tmorgan7192_strategy.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SheafificationOfG/BoolosBrewery/HEAD/submissions/public/hard/20240917_230605_tmorgan7192_strategy.py -------------------------------------------------------------------------------- /submissions/public/hard/20240918_142447_bryker_strategy.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SheafificationOfG/BoolosBrewery/HEAD/submissions/public/hard/20240918_142447_bryker_strategy.py -------------------------------------------------------------------------------- /submissions/public/hard/20240918_223240_hard_strat_bryker_optimised.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SheafificationOfG/BoolosBrewery/HEAD/submissions/public/hard/20240918_223240_hard_strat_bryker_optimised.py -------------------------------------------------------------------------------- /submissions/public/hard/20240919_040726_jix_sat_synthesized.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SheafificationOfG/BoolosBrewery/HEAD/submissions/public/hard/20240919_040726_jix_sat_synthesized.py -------------------------------------------------------------------------------- /submissions/public/hard/20240920_210459_optim_hard.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SheafificationOfG/BoolosBrewery/HEAD/submissions/public/hard/20240920_210459_optim_hard.py -------------------------------------------------------------------------------- /submissions/public/hard/20240921_154610_jix_sat_pruned.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SheafificationOfG/BoolosBrewery/HEAD/submissions/public/hard/20240921_154610_jix_sat_pruned.py -------------------------------------------------------------------------------- /submissions/public/hard/20240921_214752_viliml_sat_synthesized.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SheafificationOfG/BoolosBrewery/HEAD/submissions/public/hard/20240921_214752_viliml_sat_synthesized.py -------------------------------------------------------------------------------- /submissions/public/hard/20241013_113416_ganitsu_simple_sat.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SheafificationOfG/BoolosBrewery/HEAD/submissions/public/hard/20241013_113416_ganitsu_simple_sat.py -------------------------------------------------------------------------------- /submissions/public/hard/20241015_010940_viliml_simpler_sat.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SheafificationOfG/BoolosBrewery/HEAD/submissions/public/hard/20241015_010940_viliml_simpler_sat.py -------------------------------------------------------------------------------- /submissions/public/hard/20241017_005733_ganitsu_simplest_sat.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SheafificationOfG/BoolosBrewery/HEAD/submissions/public/hard/20241017_005733_ganitsu_simplest_sat.py -------------------------------------------------------------------------------- /submissions/public/hard/20241020_144430_ganitsu_joke_simplified.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SheafificationOfG/BoolosBrewery/HEAD/submissions/public/hard/20241020_144430_ganitsu_joke_simplified.py -------------------------------------------------------------------------------- /submissions/public/hard/20250828_023728_ganitsu_optim.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SheafificationOfG/BoolosBrewery/HEAD/submissions/public/hard/20250828_023728_ganitsu_optim.py -------------------------------------------------------------------------------- /submissions/public/hard/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SheafificationOfG/BoolosBrewery/HEAD/submissions/public/hard/README.md -------------------------------------------------------------------------------- /submissions/public/scores.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SheafificationOfG/BoolosBrewery/HEAD/submissions/public/scores.json -------------------------------------------------------------------------------- /submissions/sample/tutorial.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SheafificationOfG/BoolosBrewery/HEAD/submissions/sample/tutorial.py -------------------------------------------------------------------------------- /test_strategy.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SheafificationOfG/BoolosBrewery/HEAD/test_strategy.py --------------------------------------------------------------------------------