semvec/pypi-packages huggingface dataset:
python-invar 1.0.0
DEPRECATED: Use invar-tools (CLI) or invar-runtime (contracts) instead
Requires Python: >=3.10
Keywords: contracts, deprecated, invar, verification

# python-invar (DEPRECATED)

> **This package is deprecated.** Please migrate to the new packages.

## Migration Guide

`python-invar` has been split into two packages for better modularity:

| Old | New | Purpose |
|-----|-----|---------|
| `python-invar` | `invar-runtime` | Runtime contracts (`@pre`, `@post`, `must_use`, etc.) |
| `python-invar` | `invar-tools` | CLI tools (`guard`, `map`, `sig`, MCP server) |

### For Projects Using Contracts

If your project uses Invar contracts at runtime:

```bash
pip uninstall python-invar
pip install invar-runtime
```

Update imports:
```python
# Old
from invar import pre, post, Contract

# New (recommended)
from invar_runtime import pre, post, Contract

# Or keep using 'invar' (still works via invar-tools)
from invar import pre, post, Contract
```

### For Development Tools

If you use Invar CLI tools:

```bash
pip uninstall python-invar
pip install invar-tools
```

Or use without installing:
```bash
uvx invar-tools guard
```

## Why the Split?

- **`invar-runtime`** (~3MB): Lightweight, only what your project needs at runtime
- **`invar-tools`** (~100MB): Full development tools with Hypothesis, CrossHair, etc.

Projects can now depend on just `invar-runtime` without the heavy verification tools.

## Links

- [Migration Guide](https://github.com/Tefx/Invar/releases/tag/v1.0.0)
- [invar-runtime on PyPI](https://pypi.org/project/invar-runtime/)
- [invar-tools on PyPI](https://pypi.org/project/invar-tools/)
- [GitHub Repository](https://github.com/Tefx/Invar)
arcquerymodel 3.0.0a2
Library for graph-based querying of Annotated Research Contexts (ARCs).
Requires Python: >=3.11
Keywords: arc, query, annotated research context, isa, research data, multi platform

﻿# ARCtrl.Querymodel

> [!NOTE]  
> Filesystem Access has been implemented in ARCtrl since v2.3.0, even transpilable to JS and Python. ARCtrl.NET is therefore deprecated and this repository hosts only ARCtrl.Querymodel.


<a href="https://www.nuget.org/packages/ARCtrl.Querymodel/"><img alt="Nuget" src="https://img.shields.io/nuget/v/ARCtrl.Querymodel?logo=nuget&color=%234fb3d9"></a>

Adds querying functionality to the core [ARCtrl](https://github.com/nfdi4plants/ARCtrl) package in .NET.

The documentation for the actual functions for manipulating the ARC datamodel can be found [here](https://github.com/nfdi4plants/ARCtrl/tree/main/docs/scripts_fsharp).

## Usage

```fsharp
open ARCtrl
open ARCtrl.QueryModel
open ARCtrl.ISA

let i = ArcInvestigation("Dummy Investigation")

i.ArcTables.Values().WithName("Dummy Header").First.ValueText

i.GetAssay("Dummy Assay").LastSamples
```

## Development

#### Requirements

- [.NET SDK](https://dotnet.microsoft.com/en-us/download)
    - verify with `dotnet --version` (Tested with 7.0.306)

#### Local Setup

- Setup dotnet tools `dotnet tool restore`

- Verify correct setup with  `./build.cmd runtests` ✨