scipplan 0.1.0a0__py2.py3-none-any.whl

scipplan/translation/reward_navigation_1.txt

@@ -0,0 +1 @@
+-1.0*(Dt + Mode * Epsilon)

scipplan/translation/reward_navigation_2.txt

@@ -0,0 +1 @@
+-1.0*(Dt + Epsilon * Mode)

scipplan/translation/reward_navigation_3.txt

@@ -0,0 +1 @@
+-1.0*(Dt+Epsilon*Mode)

scipplan/translation/reward_pandemic_1.txt

@@ -0,0 +1 @@
+-1.0 * Lockdown * Dt

scipplan/translation/temporal_constraints_infection_1.txt

@@ -0,0 +1 @@
+Infected * exp((b / (b - c)) * log(1 + (Infected / Susceptible))) * exp(-1.0 * (b / (b - c)) * log(1 + (Infected / Susceptible) * exp((b - c) * Dt))) * exp((b - c) * Dt) <= D

scipplan/translation/temporal_constraints_navigation_1.txt

@@ -0,0 +1,6 @@
+Location_x + Speed_x*(Dt + Epsilon*Mode) + 0.5*Accelerate_x*(Dt + Epsilon*Mode)*(Dt + Epsilon*Mode) <= 10.0
+Location_y + Speed_y*(Dt + Epsilon*Mode) + 0.5*Accelerate_y*(Dt + Epsilon*Mode)*(Dt + Epsilon*Mode) <= 10.0
+Location_x + Speed_x*(Dt + Epsilon*Mode) + 0.5*Accelerate_x*(Dt + Epsilon*Mode)*(Dt + Epsilon*Mode) >= 0.0
+Location_y + Speed_y*(Dt + Epsilon*Mode) + 0.5*Accelerate_y*(Dt + Epsilon*Mode)*(Dt + Epsilon*Mode) >= 0.0
+
+(Location_x + Speed_x*(Dt + Epsilon*Mode) + 0.5*Accelerate_x*(Dt + Epsilon*Mode)*(Dt + Epsilon*Mode) <= 4.0) or (Location_x + Speed_x*(Dt + Epsilon*Mode) + 0.5*Accelerate_x*(Dt + Epsilon*Mode)*(Dt + Epsilon*Mode) >= 6.0) or (Location_y + Speed_y*(Dt + Epsilon*Mode) + 0.5*Accelerate_y*(Dt + Epsilon*Mode)*(Dt + Epsilon*Mode) <= 4.0) or (Location_y + Speed_y*(Dt + Epsilon*Mode) + 0.5*Accelerate_y*(Dt + Epsilon*Mode)*(Dt + Epsilon*Mode) >= 6.0)

scipplan/translation/temporal_constraints_navigation_2.txt

@@ -0,0 +1,6 @@
+Location_x + Speed_x*(Dt + Epsilon*Mode) + 0.5*Accelerate_x*(Dt + Epsilon*Mode)*(Dt + Epsilon*Mode) <= 10.0
+Location_y + Speed_y*(Dt + Epsilon*Mode) + 0.5*Accelerate_y*(Dt + Epsilon*Mode)*(Dt + Epsilon*Mode) <= 10.0
+Location_x + Speed_x*(Dt + Epsilon*Mode) + 0.5*Accelerate_x*(Dt + Epsilon*Mode)*(Dt + Epsilon*Mode) >= 0.0
+Location_y + Speed_y*(Dt + Epsilon*Mode) + 0.5*Accelerate_y*(Dt + Epsilon*Mode)*(Dt + Epsilon*Mode) >= 0.0
+(Location_x + Speed_x*(Dt + Epsilon*Mode) + 0.5*Accelerate_x*(Dt + Epsilon*Mode)*(Dt + Epsilon*Mode) <= 2.0) or (Location_x + Speed_x*(Dt + Epsilon*Mode) + 0.5*Accelerate_x*(Dt + Epsilon*Mode)*(Dt + Epsilon*Mode) >= 4.0) or (Location_y + Speed_y*(Dt + Epsilon*Mode) + 0.5*Accelerate_y*(Dt + Epsilon*Mode)*(Dt + Epsilon*Mode) <= 1.0) or (Location_y + Speed_y*(Dt + Epsilon*Mode) + 0.5*Accelerate_y*(Dt + Epsilon*Mode)*(Dt + Epsilon*Mode) >= 5.0)
+(Location_x + Speed_x*(Dt + Epsilon*Mode) + 0.5*Accelerate_x*(Dt + Epsilon*Mode)*(Dt + Epsilon*Mode) <= 5.0) or (Location_x + Speed_x*(Dt + Epsilon*Mode) + 0.5*Accelerate_x*(Dt + Epsilon*Mode)*(Dt + Epsilon*Mode) >= 7.0) or (Location_y + Speed_y*(Dt + Epsilon*Mode) + 0.5*Accelerate_y*(Dt + Epsilon*Mode)*(Dt + Epsilon*Mode) <= 5.0) or (Location_y + Speed_y*(Dt + Epsilon*Mode) + 0.5*Accelerate_y*(Dt + Epsilon*Mode)*(Dt + Epsilon*Mode) >= 9.0)

scipplan/translation/temporal_constraints_navigation_3.txt

@@ -0,0 +1,7 @@
+Location_x + Speed_x*(Dt+Epsilon*Mode) + 0.5*Accelerate_x*(Dt+Epsilon*Mode)*(Dt+Epsilon*Mode) <= 10.0
+Location_y + Speed_y*(Dt+Epsilon*Mode) + 0.5*Accelerate_y*(Dt+Epsilon*Mode)*(Dt+Epsilon*Mode) <= 10.0
+Location_x + Speed_x*(Dt+Epsilon*Mode) + 0.5*Accelerate_x*(Dt+Epsilon*Mode)*(Dt+Epsilon*Mode) >= 0.0
+Location_y + Speed_y*(Dt+Epsilon*Mode) + 0.5*Accelerate_y*(Dt+Epsilon*Mode)*(Dt+Epsilon*Mode) >= 0.0
+(Location_x + Speed_x*(Dt+Epsilon*Mode) + 0.5*Accelerate_x*(Dt+Epsilon*Mode)*(Dt+Epsilon*Mode) <= 2.0) or (Location_x + Speed_x*(Dt+Epsilon*Mode) + 0.5*Accelerate_x*(Dt+Epsilon*Mode)*(Dt+Epsilon*Mode) >= 4.0) or (Location_y + Speed_y*(Dt+Epsilon*Mode) + 0.5*Accelerate_y*(Dt+Epsilon*Mode)*(Dt+Epsilon*Mode) <= 1.0) or (Location_y + Speed_y*(Dt+Epsilon*Mode) + 0.5*Accelerate_y*(Dt+Epsilon*Mode)*(Dt+Epsilon*Mode) >= 9.0)
+(Location_x + Speed_x*(Dt+Epsilon*Mode) + 0.5*Accelerate_x*(Dt+Epsilon*Mode)*(Dt+Epsilon*Mode) <= 4.0) or (Location_x + Speed_x*(Dt+Epsilon*Mode) + 0.5*Accelerate_x*(Dt+Epsilon*Mode)*(Dt+Epsilon*Mode) >= 7.0) or (Location_y + Speed_y*(Dt+Epsilon*Mode) + 0.5*Accelerate_y*(Dt+Epsilon*Mode)*(Dt+Epsilon*Mode) <= 7.0) or (Location_y + Speed_y*(Dt+Epsilon*Mode) + 0.5*Accelerate_y*(Dt+Epsilon*Mode)*(Dt+Epsilon*Mode) >= 9.0)
+(Location_x + Speed_x*(Dt+Epsilon*Mode) + 0.5*Accelerate_x*(Dt+Epsilon*Mode)*(Dt+Epsilon*Mode) <= 4.0) or (Location_x + Speed_x*(Dt+Epsilon*Mode) + 0.5*Accelerate_x*(Dt+Epsilon*Mode)*(Dt+Epsilon*Mode) >= 9.0) or (Location_y + Speed_y*(Dt+Epsilon*Mode) + 0.5*Accelerate_y*(Dt+Epsilon*Mode)*(Dt+Epsilon*Mode) <= 2.0) or (Location_y + Speed_y*(Dt+Epsilon*Mode) + 0.5*Accelerate_y*(Dt+Epsilon*Mode)*(Dt+Epsilon*Mode) >= 6.0)

scipplan/translation/temporal_constraints_pandemic_1.txt

@@ -0,0 +1 @@
+Infected * exp((b / (b - c)) * log(1 + (Infected / Susceptible))) * exp(-1.0 * (b / (b - c)) * log(1 + (Infected / Susceptible) * exp((b - c) * Dt))) * exp((b - c) * Dt) <= D

scipplan/translation/transitions_infection_1.txt

@@ -0,0 +1,7 @@
+Susceptible_dash - Susceptible * exp((b / (b - c)) * log(1 + (Infected / Susceptible))) * exp(-1.0 * (b / (b - c)) * log(1 + (Infected / Susceptible) * exp((b - c) * Dt))) == 0.0
+
+Infected_dash - Infected * exp((b / (b - c)) * log(1 + (Infected / Susceptible))) * exp(-1.0 * (b / (b - c)) * log(1 + (Infected / Susceptible) * exp((b - c) * Dt))) * exp((b - c) * Dt) == 0.0
+
+Removed_dash - N + exp((b / (b - c)) * log(Susceptible + Infected)) * exp(-1.0 * (c / (b - c)) * log(Susceptible + Infected * exp((b - c) * Dt))) == 0.0
+
+TotalTime_dash - TotalTime - Dt == 0

scipplan/translation/transitions_navigation_1.txt

@@ -0,0 +1,4 @@
+Location_x_dash - 1.0*Location_x - 1.0*Speed_x*(Dt + Epsilon*Mode) - 0.5*Accelerate_x*(Dt + Epsilon*Mode)*(Dt + Epsilon*Mode) == 0.0
+Location_y_dash - 1.0*Location_y - 1.0*Speed_y*(Dt + Epsilon*Mode) - 0.5*Accelerate_y*(Dt + Epsilon*Mode)*(Dt + Epsilon*Mode) == 0.0
+Speed_x_dash - 1.0*Speed_x - 1.0*Accelerate_x*(Dt + Epsilon*Mode) == 0.0
+Speed_y_dash - 1.0*Speed_y - 1.0*Accelerate_y*(Dt + Epsilon*Mode) == 0.0

scipplan/translation/transitions_navigation_2.txt

@@ -0,0 +1,4 @@
+Location_x_dash - 1.0*Location_x - 1.0*Speed_x*(Dt + Epsilon*Mode) - 0.5*Accelerate_x*(Dt + Epsilon*Mode)*(Dt + Epsilon*Mode) == 0.0
+Location_y_dash - 1.0*Location_y - 1.0*Speed_y*(Dt + Epsilon*Mode) - 0.5*Accelerate_y*(Dt + Epsilon*Mode)*(Dt + Epsilon*Mode) == 0.0
+Speed_x_dash - 1.0*Speed_x - 1.0*Accelerate_x*(Dt + Epsilon*Mode) == 0.0
+Speed_y_dash - 1.0*Speed_y - 1.0*Accelerate_y*(Dt + Epsilon*Mode) == 0.0

scipplan/translation/transitions_navigation_3.txt

@@ -0,0 +1,4 @@
+Location_x_dash - 1.0*Location_x - 1.0*Speed_x*(Dt+Epsilon*Mode) - 0.5*Accelerate_x*(Dt+Epsilon*Mode)*(Dt+Epsilon*Mode) == 0.0
+Location_y_dash - 1.0*Location_y - 1.0*Speed_y*(Dt+Epsilon*Mode) - 0.5*Accelerate_y*(Dt+Epsilon*Mode)*(Dt+Epsilon*Mode) == 0.0
+Speed_x_dash - 1.0*Speed_x - 1.0*Accelerate_x*(Dt+Epsilon*Mode) == 0.0
+Speed_y_dash - 1.0*Speed_y - 1.0*Accelerate_y*(Dt+Epsilon*Mode) == 0.0

scipplan/translation/transitions_pandemic_1.txt

@@ -0,0 +1,7 @@
+Susceptible_dash - Susceptible * exp((b / (b - c)) * log(1 + (Infected / Susceptible))) * exp(-1.0 * (b / (b - c)) * log(1 + (Infected / Susceptible) * exp((b - c) * Dt))) == 0.0
+
+Infected_dash - Infected * exp((b / (b - c)) * log(1 + (Infected / Susceptible))) * exp(-1.0 * (b / (b - c)) * log(1 + (Infected / Susceptible) * exp((b - c) * Dt))) * exp((b - c) * Dt) == 0.0
+
+Removed_dash - N + exp((b / (b - c)) * log(Susceptible + Infected)) * exp(-1.0 * (c / (b - c)) * log(Susceptible + Infected * exp((b - c) * Dt))) == 0.0
+
+TotalTime_dash - TotalTime - Dt == 0

scipplan/variables.py

@@ -0,0 +1,91 @@
+from __future__ import annotations
+
+from dataclasses import dataclass
+from enum import Enum
+from typing import Union
+
+from pyscipopt.scip import Model, Variable as SCIPVariable
+
+@dataclass
+class Variable:
+    name: str
+    var_type: VarType
+    val_type: ValType
+    time: int
+    model: Model
+    model_var: Union[SCIPVariable | float]
+    
+    @classmethod
+    def create_var(cls, model: Model, name: str, vtype: str, time: int, const_vals: dict[str, float]) -> Variable:
+        
+        if "action" in vtype:
+            var_type = VarType.ACTION
+        elif "state" in vtype:
+            var_type = VarType.STATE
+        elif "auxiliary" in vtype:
+            var_type = VarType.AUX
+        elif "constant" in vtype:
+            var_type = VarType.CONSTANT
+        else: # var type isn't recognised
+            raise Exception("Unknown variable type: ")
+        
+        if "continuous" in vtype:
+            val_type = ValType.CONTINUOUS
+        elif "integer" in vtype:
+            val_type = ValType.INTEGER
+        elif "boolean" in vtype:
+            val_type = ValType.BOOLEAN
+        elif var_type is VarType.CONSTANT:
+            # Special case for constants as the value type doesn't matter for the model as it is numeric
+            val_type = None
+        else: # val type isn't recognised
+            raise Exception("Unkown value type: ")
+        
+        if var_type is VarType.CONSTANT:
+            model_var = const_vals[name]
+        else:
+            model_var = model.addVar(name=f"{name}_{time}", vtype=val_type.value, lb=None, ub=None)
+        
+        var = Variable(
+            name=name,
+            var_type=var_type,
+            val_type=val_type,
+            time=time,
+            model=model,
+            model_var=model_var
+        )
+        
+        return var
+    
+    def to_dict(self):
+        if self.var_type is VarType.CONSTANT:
+            var_val = self.model_var
+            val_type = None
+        else:
+            val_type = self.val_type.name
+            try:
+                var_val = self.model.getVal(self.model_var)
+            except Warning:
+                var_val = None
+        
+             
+        return {
+            "name": self.name,
+            "variable_type": self.var_type.name,
+            "value_type": val_type,
+            "horizon": self.time,
+            "variable_value": var_val
+        }
+
+
+
+class VarType(Enum):
+    ACTION = "action"
+    STATE = "state"
+    AUX = "auxiliary"
+    CONSTANT = "constant"
+
+class ValType(Enum):
+    CONTINUOUS = "C"
+    INTEGER = "I"
+    BOOLEAN = "B"

scipplan/zero_crossing.py

@@ -0,0 +1,28 @@
+from dataclasses import field, dataclass
+from textwrap import dedent
+
+@dataclass
+class ZeroCrossing:
+    is_violated: bool = field(repr=False)
+    iteration: int = None
+    horizon: int = None
+    start: float = None
+    end: float = None
+    dt_interval: float = None
+    coef: float = field(init=False, default=None)
+    new_dt_val: float = field(init=False, default=None)
+    
+    def __post_init__(self):
+        if self.is_violated is True:
+            if self.start is None or self.end is None or self.dt_interval is None:
+                raise ValueError(
+                    dedent(f"""
+                    Incorrect input values, start, end and dt_interval have to be specified when zero crossing exists
+                    
+                    {self.start = }
+                    {self.end = }
+                    {self.dt_interval = }
+                    """))
+            avg_interval = (self.start + self.end) / 2.0
+            self.coef = avg_interval / self.dt_interval
+            self.new_dt_val = self.coef * self.dt_interval

scipplan-0.1.0a0.dist-info/LICENSE

@@ -0,0 +1,19 @@
+Copyright (c) 2024 Ari Gestetner
+
+Permission is hereby granted, free of charge, to any person obtaining a copy
+of this software and associated documentation files (the "Software"), to deal
+in the Software without restriction, including without limitation the rights
+to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
+copies of the Software, and to permit persons to whom the Software is
+furnished to do so, subject to the following conditions:
+
+The above copyright notice and this permission notice shall be included in all
+copies or substantial portions of the Software.
+
+THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
+IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
+FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
+AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
+LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
+OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
+SOFTWARE.

scipplan-0.1.0a0.dist-info/METADATA

@@ -0,0 +1,215 @@
+Metadata-Version: 2.1
+Name: scipplan
+Version: 0.1.0a0
+Summary: Metric Hybrid Factored Planning in Nonlinear Domains with Constraint Generation in Python.
+Author: Ari Gestetner, Buser Say
+Author-email: ages0001@student.monash.edu, buser.say@monash.edu
+License: MIT License
+Keywords: scip,automated planner
+Classifier: Development Status :: 3 - Alpha
+Classifier: Environment :: Console
+Classifier: Intended Audience :: Science/Research
+Classifier: License :: OSI Approved :: MIT License
+Classifier: Natural Language :: English
+Classifier: Operating System :: OS Independent
+Classifier: Programming Language :: Python :: 3
+Classifier: Topic :: Scientific/Engineering :: Artificial Intelligence
+Description-Content-Type: text/markdown
+License-File: LICENSE
+
+# SCIPPlan
+
+SCIPPlan [1,2,3] is a SCIP-based [4] hybrid planner for domains with i) mixed (i.e., real and/or discrete valued) state and action spaces, ii) nonlinear state transitions that are functions of time, and iii) general reward functions. SCIPPlan iteratively i) finds violated constraints (i.e., zero-crossings) by simulating the state transitions, and ii) adds the violated (symbolic) constraints back to its underlying optimisation model, until a valid plan is found.
+
+## Example Domain: Navigation
+
+<img src=./visualisation/scipplan_navigation_1.gif width="32%" height="32%"> <img src=./visualisation/scipplan_navigation_2.gif width="32%" height="32%"> <img src=./visualisation/scipplan_navigation_3.gif width="32%" height="32%">
+
+
+Figure 1: Visualisation of different plans generated by SCIPPlan [1,2,3] for example navigation domains where the red square represents the agent, the blue shapes represent the obstacles, the gold star represents the goal location and the delta represents time. The agent can control its acceleration and the duration of its control input to modify its speed and location in order to navigate in a two-dimensional maze. The purpose of the domain is to find a path for the agent with minimum makespan such that the agent reaches its the goal without colliding with the obstacles. 
+
+Note that SCIPPlan does not linearise or discretise the domain to find a valid plan.
+
+## Dependencies
+
+i) Solver: SCIP (the current implementation uses the python interface to the SCIP solver, i.e., PySCIPOpt [5]). This version of SCIPPlan has only been tested on PySCIOpt>=4.0.0 using earlier an version of pyscipopt may result in unintended behaviour. 
+
+## Installing and Running SCIPPlan
+In order to Install SCIPPlan you need to ensure you have a working version of the SCIP optimisation suite on your system which can be installed from [the SCIP website](https://www.scipopt.org). For more information about SCIP and PySCIPOpt refer to this [installation guide](https://github.com/scipopt/PySCIPOpt/blob/master/INSTALL.md).
+
+After installing SCIP you will be able to install SCIPPlan using
+```bash
+pip install scipplan
+```
+Now you will be able to run some of the example domains which include 
+- Navigation (3 instances)
+
+To run one of these examples all you need to do is run
+```bash
+scipplan -D navigation -I 1
+```
+which will run the 1st instance of the navigation domain. For more information regarding the available tags and what they mean run `scipplan --help`.
+
+Alternatively you can import scipplan classes to run it using python.
+```py
+from scipplan.scipplan import SCIPPlan
+from scipplan.config import Config
+from scipplan.helpers import write_to_csv
+```
+this will import the only 2 classes and function needed to run SCIPPlan. Then to set the configuration either create an instance of the Config class by setting the params or by retrieving the cli input
+```py
+# Set params
+config = Config(domain="navigation", instance=1)
+# Retrieve cli args
+config = Config.get_config()
+```
+after which you are able to solve problem by either using the solve or optimize methods
+```py
+# The optimize method just optimises the problem for the given horizon
+plan = SCIPPlan(config)
+plan.optimize()
+# Class method which takes input the config, solves the problem 
+# with auto incrementing the horizon until a solution is found then 
+# returns the plan as well as the time taken to solve the problem
+plan, solve_time = SCIPPlan.solve(config)  
+```
+In order to save the generated constraints for the horizon solved as well as the results, use the following code
+```py
+write_to_csv("new_constraints", plan.new_constraints, config)
+write_to_csv("results", plan.results_table, config)
+```
+
+
+
+## Custom Domains
+If you would like to create your own domain you will need to create a directory named "translation" in the directory which scipplan is run from with txt files of the format "{translation type}\_{domain name}\_{instance number}.txt" (e.g. "pvariables_navigation_1.txt"). Note that the files in the translation directory will override any example files if they share domain name and instance number (e.g. navigation 1 would override the example).
+
+For each domain instance the following translation files are required
+- constants
+- pvariables
+- initials
+- goals
+- instantaneous_constraints
+- temporal_constraints
+- transitions
+- reward
+
+As a part of SCIPPlan, all the constraint files allow for the use of "and" and "or" expressions, polynomials and `exp`, `log`, `sqrt`, `sin` and `cos` functions (Note: `sin` and `cos` are only available in PySCIPOpt>=4.3.0 so if your version is below that you will not be able to use the trig functions unless you update).
+
+### Constants
+The constants file allows for constant values to be defined as a variable to be used in other files in the model. To use add constants as follows
+```txt
+HalfVal = 0.5
+Epsilon = config_epsilon
+bigM = config_bigM
+```  
+
+Some config values can be accessed in the constants file to be used in other files and are available as 
+- `config_epsilon`
+- `config_gap`
+- `config_bigM`  
+Note that these variables are only accessible in the constants file and you will need to define a new constants variable to store the value 
+
+### Pvariables
+When creating the pvariables file, the variables should be listed in the following format
+```txt
+action_continuous: Accelerate_x
+action_continuous: Accelerate_y
+action_continuous: Dt
+action_boolean: Mode
+state_continuous: Location_x
+state_continuous: Location_y
+state_continuous: Speed_x
+state_continuous: Speed_y
+```
+where the variable and value type of the variable is set in the format "{variable type}_{value type}" and the variable itself has to be in a Python compatible format (e.g. variables can't use - sign like `some-var` but can use _ like `some_var` as well as the dash sign ' cannot be used). The use of next state variables which is often written using the dash symbol will be explained further in the Transitions section.  
+Additionally a variable for Dt has to be defined and has to be the same as the dt_var in the config object so if you would like to use a different variable name for Dt (e.g. dt) please also ensure you add it to the config via the `--dt-var` tag or the `dt_var` parameter.  
+The available variable types are
+- state
+- action
+- auxiliary
+
+The available value types are 
+- continuos
+- integer 
+- boolean 
+
+Please note that constants don't need to have their variable names defined in pvariables as they are defined in constants.
+
+### Initials
+The initials file defines the initial state values for time t=0, for example
+```txt
+Location_x == 0.0
+Location_y == 0.0
+Speed_x == 0.0
+Speed_y == 0.0
+```
+notice te use of teh constant value defined earlier in the constants file.
+### Goals
+The goals file should encode the final state values such that t=H+1, for example
+```txt
+Location_x == 8.0
+Location_y == 8.0
+```
+### Instantaneous Constraints
+This is where the instantaneous constraints go.
+An example is as follows
+```txt
+Location_x <= 10.0
+Location_y <= 10.0
+Location_x >= 0.0
+Location_y >= 0.0
+Accelerate_x <= 0.5
+Accelerate_y <= 0.5
+Accelerate_x >= -0.5
+Accelerate_y >= -0.5
+(Location_x <= 4.0) or (Location_x >= 6.0) or (Location_y <= 4.0) or (Location_y >= 6.0)
+```
+### Temporal Constraints
+The temporal constraints are the constraints which SCIPPlan will ensure that the solution never violates by iterating through every epsilon value of Dt and checking for zero crossings. An example of a temporal constraint is as follows
+```txt
+Location_x + Speed_x*(Dt + Epsilon*Mode) + 0.5*Accelerate_x*(Dt + Epsilon*Mode)*(Dt + Epsilon*Mode) <= 10.0
+Location_y + Speed_y*(Dt + Epsilon*Mode) + 0.5*Accelerate_y*(Dt + Epsilon*Mode)*(Dt + Epsilon*Mode) <= 10.0
+Location_x + Speed_x*(Dt + Epsilon*Mode) + 0.5*Accelerate_x*(Dt + Epsilon*Mode)*(Dt + Epsilon*Mode) >= 0.0
+Location_y + Speed_y*(Dt + Epsilon*Mode) + 0.5*Accelerate_y*(Dt + Epsilon*Mode)*(Dt + Epsilon*Mode) >= 0.0
+
+((Location_x + Speed_x*(Dt + Epsilon*Mode) + 0.5*Accelerate_x*(Dt + Epsilon*Mode)*(Dt + Epsilon*Mode) <= 4.0) or 
+(Location_x + Speed_x*(Dt + Epsilon*Mode) + 0.5*Accelerate_x*(Dt + Epsilon*Mode)*(Dt + Epsilon*Mode) >= 6.0) or 
+(Location_y + Speed_y*(Dt + Epsilon*Mode) + 0.5*Accelerate_y*(Dt + Epsilon*Mode)*(Dt + Epsilon*Mode) <= 4.0) or 
+(Location_y + Speed_y*(Dt + Epsilon*Mode) + 0.5*Accelerate_y*(Dt + Epsilon*Mode)*(Dt + Epsilon*Mode) >= 6.0))
+```
+
+The use of mode switches are used in these constraints (`Dt + Epsilon*Mode`). Please note that the or expression is enclosed in round brackets which allows the constraints to be parsed as a singular expression
+### Transitions
+Transitions are to be added here with the following syntax.  
+For example $S_{t+1} = \frac 12 A_t\cdot t^2 + V_t\cdot t + S_t$.  
+Alternatively this can be written as $S' = \frac 12 A\cdot t^2 + V\cdot t + S$.
+Since Python doesn't allow variables to use the ' symbol it should be replaced with `_dash`, for example
+```txt
+Location_x_dash - 1.0*Location_x - 1.0*Speed_x*(Dt + Epsilon*Mode) - 0.5*Accelerate_x*(Dt + Epsilon*Mode)*(Dt + Epsilon*Mode) == 0.0
+Location_y_dash - 1.0*Location_y - 1.0*Speed_y*(Dt + Epsilon*Mode) - 0.5*Accelerate_y*(Dt + Epsilon*Mode)*(Dt + Epsilon*Mode) == 0.0
+Speed_x_dash - 1.0*Speed_x - 1.0*Accelerate_x*(Dt + Epsilon*Mode) == 0.0
+Speed_y_dash - 1.0*Speed_y - 1.0*Accelerate_y*(Dt + Epsilon*Mode) == 0.0
+```
+
+### Reward
+As for the reward function, SCIPPlan maximises the reward thus if using a cost function it should be negated as per the example
+```txt
+-1.0*(Dt + Mode * Epsilon)
+```
+Only one reward function is able to be optimised for in SCIPPlan
+
+## Citation
+
+If you are using SCIPPlan, please cite the papers [1,2,3] and the underlying SCIP solver [4].
+
+## References
+[1] Buser Say and Scott Sanner. [Metric Nonlinear Hybrid Planning with Constraint Generation](http://icaps18.icaps-conference.org/fileadmin/alg/conferences/icaps18/workshops/workshop06/docs/proceedings.pdf#page=23). In PlanSOpt, pages 19-25, 2018.
+
+[2] Buser Say and Scott Sanner. [Metric Hybrid Factored Planning in Nonlinear Domains with Constraint Generation](https://link.springer.com/chapter/10.1007/978-3-030-19212-9_33). In CPAIOR, pages 502-518, 2019.
+
+[3] Buser Say. [Robust Metric Hybrid Planning in Stochastic Nonlinear Domains Using Mathematical Optimization](https://ojs.aaai.org/index.php/ICAPS/article/view/27216). In ICAPS, pages 375-383, 2023.
+
+[4] [SCIP](https://www.scipopt.org/)
+
+[5] [PySCIPOpt](https://github.com/SCIP-Interfaces/PySCIPOpt)

scipplan-0.1.0a0.dist-info/RECORD

@@ -0,0 +1,54 @@
+scipplan/__init__.py,sha256=DFKsXFuWCEPlRh1XozFuUiyTqLf47yVYHnKpFjKtbkI,196
+scipplan/config.py,sha256=VmsdogXHy535KheufJtREI8ZQ7lJVxYxzzPXzLoU-38,5136
+scipplan/helpers.py,sha256=YwEr0NeDvb29_Ot686km3ZMJ-vHu-L8zjuexmlKDjpY,974
+scipplan/parse_model.py,sha256=THP1TX6kllK4fwvxVGuzGIS4w2PVCg83GP1QhLiA8U0,10516
+scipplan/plan_model.py,sha256=daHnVHn2e89OtXXMl63QEoeKGOmy_LwT2oCRTjUUlKQ,11145
+scipplan/scipplan.py,sha256=aoHXP4YhYn9IAY4N2ZKQGgzKTG1tDEC_TpVctnO307k,7741
+scipplan/variables.py,sha256=3sxY3zQuxsa5z2fTFjv4zOSb9GarzojZ4W4kIx9FX68,2561
+scipplan/zero_crossing.py,sha256=kGyJsWZLLXqLW1p3LPDlPC34rTkFF8daDzqgbEcaXus,1043
+scipplan/translation/constants_infection_1.txt,sha256=7MFkFGycNWOrdDJ7gZyEPmVtAzphbJXnXMFv1ogT3bg,179
+scipplan/translation/constants_navigation_1.txt,sha256=X0jvJe5MiwvayKBVXo9TQlGZGfUlpnFpMiReL68rsXc,43
+scipplan/translation/constants_navigation_2.txt,sha256=eMN8PnTBS5qc_8u6W7Q-wSlXvX_wFjFaFCT38wviiQE,44
+scipplan/translation/constants_navigation_3.txt,sha256=ItHwvPfASUvSbdKlek4GFZweDGmxT1wRr3SH7W4-CBc,24
+scipplan/translation/constants_pandemic_1.txt,sha256=7MFkFGycNWOrdDJ7gZyEPmVtAzphbJXnXMFv1ogT3bg,179
+scipplan/translation/goals_infection_1.txt,sha256=IuVcZ7jkt1f12UR0y8FsyqUNZ8ypYLLqlTeFte5u6zQ,49
+scipplan/translation/goals_navigation_1.txt,sha256=uxlsrr_M5maa8FGVZXrsnzu7CG-R1ubKVu8Wj5eAqks,35
+scipplan/translation/goals_navigation_2.txt,sha256=uxlsrr_M5maa8FGVZXrsnzu7CG-R1ubKVu8Wj5eAqks,35
+scipplan/translation/goals_navigation_3.txt,sha256=uxlsrr_M5maa8FGVZXrsnzu7CG-R1ubKVu8Wj5eAqks,35
+scipplan/translation/goals_pandemic_1.txt,sha256=IuVcZ7jkt1f12UR0y8FsyqUNZ8ypYLLqlTeFte5u6zQ,49
+scipplan/translation/initials_infection_1.txt,sha256=PM5-6kvHk-VMV_sSWpvC2tbq5Uvavm4DRelrRKOGsCQ,95
+scipplan/translation/initials_navigation_1.txt,sha256=6uKI2B_vG-AACgFrBmmPBqC_NEQ2znHTcV44aI-rbXY,66
+scipplan/translation/initials_navigation_2.txt,sha256=s7ukUEHwcmMsey1bHCRJh515PLKYXODz8Sb5jQBtGeM,65
+scipplan/translation/initials_navigation_3.txt,sha256=s7ukUEHwcmMsey1bHCRJh515PLKYXODz8Sb5jQBtGeM,65
+scipplan/translation/initials_pandemic_1.txt,sha256=PM5-6kvHk-VMV_sSWpvC2tbq5Uvavm4DRelrRKOGsCQ,95
+scipplan/translation/instantaneous_constraints_infection_1.txt,sha256=gr9bxKFi_A3ZMCxB1nFemLrnJZpNvWzc9em4lk8AZuc,167
+scipplan/translation/instantaneous_constraints_navigation_1.txt,sha256=WbITeszv_n93_BhE2eiNqFPAZVO4f2s44KcKUsNURyA,244
+scipplan/translation/instantaneous_constraints_navigation_2.txt,sha256=e5YdZn3OKLJh0kEiCNqpOgxgAAQxIHMB3J5OTYvPlgw,333
+scipplan/translation/instantaneous_constraints_navigation_3.txt,sha256=HnzfFntGIQ0WIMnEfcYPg1cy7u9dJn3xuYqdXZVFFvE,422
+scipplan/translation/instantaneous_constraints_pandemic_1.txt,sha256=gr9bxKFi_A3ZMCxB1nFemLrnJZpNvWzc9em4lk8AZuc,167
+scipplan/translation/pvariables_infection_1.txt,sha256=TfBDRG_FrKgxRYUFCA2ypQJZCIWLvDhUzLr_DwQFiKA,187
+scipplan/translation/pvariables_navigation_1.txt,sha256=97t5uPWAWKmtbDPJZIor5nn5qPU6aMcGdpLAuKnlDbQ,217
+scipplan/translation/pvariables_navigation_2.txt,sha256=lGUNN04bC-CJFTThNC3dwP9kU2xGftSshx-24I6zlZw,216
+scipplan/translation/pvariables_navigation_3.txt,sha256=1-yvM5BSJ5TXBlHkMbcXWd5zoc2ezSBpIIuM_zwEXSo,216
+scipplan/translation/pvariables_pandemic_1.txt,sha256=TfBDRG_FrKgxRYUFCA2ypQJZCIWLvDhUzLr_DwQFiKA,187
+scipplan/translation/reward_infection_1.txt,sha256=3AZZGt7w5voiqwVlEkc2-NXXh6NxBqFPWraCZKwhpcM,20
+scipplan/translation/reward_navigation_1.txt,sha256=dvR0CkxkWRbO3wP0fenXDSDMpueEUtSUqw990UnCcJY,26
+scipplan/translation/reward_navigation_2.txt,sha256=ck6uUGNhM_DWiG1hHN6_xTps1muychzqTOpz1iLF9bk,26
+scipplan/translation/reward_navigation_3.txt,sha256=O8unFCIySCz4GCBX_9mQcm-JMn5Ur6upp3HBbA4e_C8,22
+scipplan/translation/reward_pandemic_1.txt,sha256=3AZZGt7w5voiqwVlEkc2-NXXh6NxBqFPWraCZKwhpcM,20
+scipplan/translation/temporal_constraints_infection_1.txt,sha256=pReUU1lQsTwrREYJwlEeslSp56boHCKaIE1kIrXbPV8,175
+scipplan/translation/temporal_constraints_navigation_1.txt,sha256=h06iRA5TDr6R5XdjhEyYnZ3f-FQwUkbKGNw-t0k0jm8,875
+scipplan/translation/temporal_constraints_navigation_2.txt,sha256=x73dbxxb_YzvdvtVNaJfG-S9ggf-yqTYdoU6NiDQBqk,1319
+scipplan/translation/temporal_constraints_navigation_3.txt,sha256=Ki4nAX9-QtBbY9ZdHwHdqta8JQoLrAVvlZrLa1pWLnQ,1668
+scipplan/translation/temporal_constraints_pandemic_1.txt,sha256=pReUU1lQsTwrREYJwlEeslSp56boHCKaIE1kIrXbPV8,175
+scipplan/translation/transitions_infection_1.txt,sha256=iDxrZUngYgxgZmGTur4sSWLZssG9AGGuY_BaYHmoxn0,564
+scipplan/translation/transitions_navigation_1.txt,sha256=kfnr3_A9mCfflLsL4aq7OeR_BHSNST6eYuAg4ZxaPoU,411
+scipplan/translation/transitions_navigation_2.txt,sha256=kfnr3_A9mCfflLsL4aq7OeR_BHSNST6eYuAg4ZxaPoU,411
+scipplan/translation/transitions_navigation_3.txt,sha256=aIPP3FOjXZ3G6sTqicEIZ0JKJxdxHCRRZIdc5bUPFBM,395
+scipplan/translation/transitions_pandemic_1.txt,sha256=iDxrZUngYgxgZmGTur4sSWLZssG9AGGuY_BaYHmoxn0,564
+scipplan-0.1.0a0.dist-info/LICENSE,sha256=tfR4peJA8KJtYEn1NzNV-LWQVRAserdq7OJgYghreR0,1057
+scipplan-0.1.0a0.dist-info/METADATA,sha256=BePW-SSEWLg7-0QhOoaiBRWI336Wp6wJ8hB3iRg8flA,11236
+scipplan-0.1.0a0.dist-info/WHEEL,sha256=-G_t0oGuE7UD0DrSpVZnq1hHMBV9DD2XkS5v7XpmTnk,110
+scipplan-0.1.0a0.dist-info/entry_points.txt,sha256=3qiNbbp6qIwivyPmmikyp7ByCfmsa9rGFNJPcN9Is8I,52
+scipplan-0.1.0a0.dist-info/top_level.txt,sha256=xO2FLRn7YQ-C25E8lagIEbik5T5FTr-Ta5bdiZezEPY,9
+scipplan-0.1.0a0.dist-info/RECORD,,

scipplan-0.1.0a0.dist-info/WHEEL

@@ -0,0 +1,6 @@
+Wheel-Version: 1.0
+Generator: bdist_wheel (0.42.0)
+Root-Is-Purelib: true
+Tag: py2-none-any
+Tag: py3-none-any
+

scipplan-0.1.0a0.dist-info/entry_points.txt

@@ -0,0 +1,2 @@
+[console_scripts]
+scipplan = scipplan.scipplan:main

scipplan-0.1.0a0.dist-info/top_level.txt

@@ -0,0 +1 @@
+scipplan