<commit_before># SMT encoder
- [x] Test relu
- [x] Test Constant() (through relu as well)
- [x] Add code coverage

# Trees
- [ ] Add the vgc atom
- [ ] Greedy simplification routines (across linear and stack)
- [ ] Fix issues in the tracker
- [ ] efficient `relu_aff` atom (combine relu() and Affine())
- [ ] efficient `relu_nn` atom (full relu nn)
<commit_msg>TODO: stack<commit_after># SMT encoder
- [x] Test relu
- [x] Test Constant() (through relu as well)
- [x] Add code coverage

# Trees
- [ ] Add the vgc atom
- [ ] Greedy simplification routines (across linear and stack)
- [ ] Fix issues in the tracker
- [ ] efficient `relu_aff` atom (combine relu() and Affine())
- [ ] efficient `relu_nn` atom (full relu nn)

# Examples
- [ ] rewrite `example_vgc` (in particular, remove `stack()`,
	  because there is now a `Stack` class)

{'fraction_non_alphanumeric': 0.13293413173652693, 'fraction_numerical': 0.0, 'mean_word_length': 3.777142857142857, 'pattern_counts': {'":': 0, '<': 3, '<?xml version=': 0, '>': 3, 'https://': 0, 'lorem ipsum': 0, 'www.': 0, 'xml': 0}, 'pii_count': 0, 'substrings_counts': 0, 'word_list_counts': {'cursed_substrings.json': 0, 'profanity_word_list.json': 0, 'sexual_word_list.json': 0, 'zh_pornsignals.json': 0}}
{'dir': 'git-commits-cleaned', 'id': '4947128', 'n_tokens_mistral': 296, 'n_tokens_neox': 285, 'n_words': 109}