reasoning-gym/reasoning_gym/logic
2025-02-04 13:47:57 +01:00
..
contrib update notice of 3rd party code import 2025-02-04 13:47:57 +01:00
__init__.py precommit hook linting 2025-02-03 14:40:58 +01:00
aiw.py post merge lint 2025-02-02 10:04:18 +01:00
propositional_logic.py min python 3.11 to support StrEnum 2025-01-26 22:17:43 +01:00
syllogisms.py feat: Improve syllogism sentence formatting for natural language 2025-02-02 17:23:02 +01:00
zebra_puzzles.py use explicit rng for zebra generation (not yet fully deterministic) 2025-02-04 00:00:54 +01:00