open-thought/reasoning-gym
1
0
Fork 0
mirror of https://github.com/open-thought/reasoning-gym.git synced 2026-04-29 17:35:16 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions
reasoning-gym/reasoning_gym/logic
History
vncntt 3149edf2c4
fixed problems in knights_knaves (#251) 
* remove unnecessary variables

* added depth logic

* add depth tests
2025-03-02 08:47:54 +01:00
..
contrib use native types List->list, Dict->dict, Set->set, Tuple->tuple 2025-02-21 15:15:38 +01:00
__init__.py Add KnightsKnavesDataset (knights_knaves) 2025-02-25 20:15:38 +01:00
aiw.py use native types List->list, Dict->dict, Set->set, Tuple->tuple 2025-02-21 15:15:38 +01:00
circuit_logic.py use native types List->list, Dict->dict, Set->set, Tuple->tuple 2025-02-21 15:15:38 +01:00
knights_knaves.py fixed problems in knights_knaves (#251) 2025-03-02 08:47:54 +01:00
propositional_logic.py reactivate default imports for PropositionalLogicDataset 2025-02-21 15:41:04 +01:00
self_reference.py use native types List->list, Dict->dict, Set->set, Tuple->tuple 2025-02-21 15:15:38 +01:00
syllogisms.py use native types List->list, Dict->dict, Set->set, Tuple->tuple 2025-02-21 15:15:38 +01:00
zebra_puzzles.py use native types List->list, Dict->dict, Set->set, Tuple->tuple 2025-02-21 15:15:38 +01:00