exhaust
A Python library to exhaustively enumerate a combinatorial space represented by a function.
The API is modelled after Python's random module and should feel familiar. An additional convenience function maybe() was added to cover a common case.
If you're missing a function and the corresponding space can be enumerated feel free to open an issue. Any functions that generate real-valued distributions cannot be supported.
Example
import exhaust
def generate_character(state: exhaust.State):
eyes = []
for _ in range(state.randint(1, 3)):
eyes.append({
'color': state.choice(['brown', 'blue']),
'glowing': state.maybe()
})
size = 'giant' if len(eyes) == 1 else 'normal'
accessories = []
if len(eyes) == 2:
if state.maybe():
accessories.append('hat')
if state.maybe():
accessories.append('ring')
character = {
'size': size,
'eyes': eyes,
'accessories': accessories
}
return character
# iterates over a space of 132 characters
for character in exhaust.space(generate_character):
print(character)
As you can see, navigating the space works fine within loops as well. Each time a function from the State object is called (like maybe()), you can think of it as forking the current path into multiple branches, leading to a tree that gets explored. While exploring, the user-defined function is called for each path of the tree.
See the examples/ folder for further examples that can be run on the command line.
See the API Documentation for all available State functions.
Installation
pip install exhaust
Development
Requires pip >= 21.3
Editable install:
pip install -e .
Run tests:
pip install -r requirements-test.txt
pytest
Build docs:
pip install -r requirements-docs.txt
sphinx-build -b html docs dist-docs
Build wheel:
pip install build
python -m build --wheel
Acknowledgments
This package is inspired by KerasTuner's method of defining hyperparameter search spaces.
14 Aug 2, 2021
34 Nov 28, 2022
1 Oct 27, 2021
1 Oct 31, 2021
2 Nov 28, 2021
3 Jan 6, 2022
7 Nov 20, 2022
2 Jan 19, 2022
8 Mar 23, 2022
2 Jan 12, 2022
108 Dec 01, 2022
77 Nov 04, 2022
3 Dec 18, 2021
62 Sep 19, 2022
75 Dec 20, 2022
55 Jul 29, 2021
2 Jan 09, 2022
1 Dec 18, 2021
10 Oct 03, 2021
32 Nov 10, 2022
5 Nov 24, 2021
2 Jan 18, 2022
14 Mar 25, 2022
13 Nov 29, 2022
0 Feb 16, 2022
2 Feb 17, 2022
1 Apr 02, 2022
73 Dec 14, 2022
5.9k Jan 02, 2023