-
Notifications
You must be signed in to change notification settings - Fork 0
Issues
is:issue state:open
is:issue state:open
Issue creation is restricted in this repository
Search results
Experienced issues with rspy 0.4.2
bugSomething isn't workingSomething isn't workingStatus: Open.#138 In ourstudio-se/puan-python;Grouping variables/add meta data to variables
enhancementNew feature or requestNew feature or requestStatus: Open.#137 In ourstudio-se/puan-python;Add support for assume then select
bugSomething isn't workingSomething isn't workingStatus: Open.#136 In ourstudio-se/puan-python;Consider value to be a variable
enhancementNew feature or requestNew feature or requestStatus: Open.#135 In ourstudio-se/puan-python;Implement puan-rspy 0.4.0
enhancementNew feature or requestNew feature or requestStatus: Open.#130 In ourstudio-se/puan-python;Add tool for drawing "propositions/variable tree"
enhancementNew feature or requestNew feature or requestStatus: Open.#129 In ourstudio-se/puan-python;Assuming Xor does not remove other variables
bugSomething isn't workingSomething isn't workingStatus: Open.#127 In ourstudio-se/puan-python;Reduced and non-reduced model should produce the same result when solving
bugSomething isn't workingSomething isn't workingStatus: Open.#123 In ourstudio-se/puan-python;- Status: Open.#118 In ourstudio-se/puan-python;
- Status: Open.#115 In ourstudio-se/puan-python;
Extend docs with logo and intro text
documentationImprovements or additions to documentationImprovements or additions to documentationStatus: Open.Multiple defaults
enhancementNew feature or requestNew feature or requestStatus: Open.#64 In ourstudio-se/puan-python;