F tipm - #39

Draft

LuAbelt wants to merge 13 commits into

Commits on Jun 5, 2025

Added flags to FastDownward model
Lukas Abelt
committed
55c5602

Commits on Jun 11, 2025

Added boolean constraints on FastDownward model matching current release
Lukas Abelt
committed
eb88557
Fix name of reasonableOrders argument
Lukas Abelt
committed
1b8c6f6

Commits on Jul 3, 2025

Updated Opus feature model to create correct flags
Lukas Abelt
committed
036a2d2
Added lrzip feature model
Lukas Abelt
committed
d3be6aa

Commits on Jul 7, 2025

Pulled in Feature models for picosat and bzip2
Lukas Abelt
committed
0f9fa3e

Commits on Jul 14, 2025

Added feature model for Opus Tools
Lukas Abelt
committed
9396bfd

Commits on Jul 25, 2025

Removed unused options
Lukas Abelt
committed
cf33817
Changed feature models to one-hot-encoding
Lukas Abelt
committed
a49eb71
Change FD to one-hot encoding
Lukas Abelt
committed
7d95dc4
Fix feature model syntax
Lukas Abelt
committed
9f08e84

Commits on Nov 18, 2025

First version of Pragma Feature model for SQLite
Lukas Abelt
committed
e8aea38

Commits on Dec 16, 2025

Fixed output strings
Lukas Abelt
committed
89578ac