semvec/pypi-packages huggingface dataset:
opentrons-http-api-client 0.2.1
A Python library for interacting with the Opentrons HTTP API
Requires Python: >=3.7

# Opentrons Python API

Simple (and currently incomplete) Python wrapper around the Opentrons HTTP API. Like https://github.com/Opentrons/opentrons/tree/edge/api-client, but in Python. This API is atomic and interactive.

This project is created for use with [PyLabRobot](https://github.com/pylabrobot/pylabrobot), but can be used however you like.

## Installation

- from pip

```sh
pip install opentrons-http-api-client
```

- from source

```sht 
git clone http://github.com/rickwierenga/opentrons-python-api
```

## Usage

Minimal example for simple liquid handling:

```py
import ot_api
ot_api.set_host("x.x.x.x") # find in OT app
ot_api.set_port(31950)     # default, so not really necessary

# Creating a run
run_id = ot_api.runs.create()
ot_api.set_run(run_id) # set run globally, alternative to `run_id` parameter for functions

# Add pipettes that are detected in hardware to the software
left_pipette, right_pipette = ot_api.lh.add_mounted_pipettes()
left_pipette_id = left_pipette["pipetteId"]

# Defining labware
data = ot_api.labware.define(labware_definition) # json from opentrons-shared-data
namespace, definition, version = data["data"]["definitionUri"].split("/")

# Adding labware
labware_id = "arbitrary id for labware"
ot_api.labware.add(
  load_name=definition,
  namespace=namespace,
  version=version,
  ot_location=1, # slot
  labware_id=labware_id
)

# Picking up a tip
ot_api.lh.pick_up_tip(labware_id=labware_id, well_name="A1", pipette_id=left_pipette_id)

# Aspirating
ot_api.lh.aspirate(labware_id=labware_id, well_name="A1", pipette_id=left_pipette_id,
                   flow_rate=10, volume=10)

# Dispensing
ot_api.lh.dispense(labware_id=labware_id, well_name="A1", pipette_id=left_pipette_id,
                   flow_rate=10, volume=10)

# Tip drop
ot_api.lh.drop_tip(labware_id=labware_id, well_name="A1", pipette_id=left_pipette_id)
```

**Note: the ot_api is blocking!**

## Notice

This project is not affiliated with Opentrons.

This project is created for the Sculpting Evolution group at the MIT Media Lab.

See [`LICENSE`](/LICENSE)
one-step-frames 1.3.5
One step frame code
Requires Python: >=3.9

## Project description

# One-step-frames
```one-step-frames``` is a package that implements the algorithms for this [paper](https://www.sciencedirect.com/science/article/pii/S0168007214000785?via%3Dihub).

## Getting starting
### Installation
The package can be downloaded with the pip command. The source code can be found [here](https://github.com/lucianIrsigler/one_step_frames).

### Setup
The SPASS part of the algorithm requires a local folder(same level as the script) named ```spass39``` with the files for SPASS version 39. The download link is found [here](https://www.mpi-inf.mpg.de/departments/automation-of-logic/software/spass-workbench/classic-spass-theorem-prover/download/). You should download the 3.9 version.

### Modules
The package has the following modules:
- ```AST```: The data stucture used for parsing logical formula.
- ```spass```: The implementation of the SPASS algorithm required to check p-morphisms for first-order conditions on one-step frames 
- ```util```: Includes all the several steps of the algorithm, such as initialization,searching etc. Look at the github for a more in-depth ook.
- ```step_frame_conditions```- The main file that implements finding a first order condition on one-step frames from a given reduced rule.