semvec/pypi-packages huggingface dataset:
eznf 0.120.2
A prototype library to prototype SAT encodings
Requires Python: >=3.6

# EZNF

This library is designed to speed-up prototyping encodings, especiall for combinatorial problems.

## Modeler

The main abstraction of the library is the so-called `modeler`.

Therefore we will always start with:

```python
import modeler

Z = modeler.Modeler()
```

Then, we will use the `Z` modeler variable to *model* the problem.

For example, we can use
```python
Z.add_var(f'v_{i}', f'vertex {i} is selected for the CLIQUE')
```


## Tests

```
python3 -m pytest
```
discordproxy 1.4.0
Proxy server for accessing the Discord API via gRPC.
Requires Python: >=3.9

# discordproxy

Proxy server for accessing the Discord API via gRPC

[![release](https://img.shields.io/pypi/v/discordproxy?label=release)](https://pypi.org/project/discordproxy/)
[![python](https://img.shields.io/pypi/pyversions/discordproxy)](https://pypi.org/project/discordproxy/)
[![pipeline](https://gitlab.com/ErikKalkoken/discordproxy/badges/master/pipeline.svg)](https://gitlab.com/ErikKalkoken/discordproxy/-/pipelines)
[![codecov](https://codecov.io/gl/ErikKalkoken/discordproxy/branch/master/graph/badge.svg?token=JJN735H9XV)](https://codecov.io/gl/ErikKalkoken/discordproxy)
[![Documentation Status](https://readthedocs.org/projects/discordproxy/badge/?version=latest)](https://discordproxy.readthedocs.io/en/latest/?badge=latest)
[![license](https://img.shields.io/badge/license-MIT-green)](https://gitlab.com/ErikKalkoken/discordproxy/-/blob/master/LICENSE)
[![pre-commit](https://img.shields.io/badge/pre--commit-enabled-brightgreen?logo=pre-commit&logoColor=white)](https://github.com/pre-commit/pre-commit)
[![Code style: black](https://img.shields.io/badge/code%20style-black-000000.svg)](https://github.com/psf/black)
[![chat](https://img.shields.io/discord/790364535294132234)](https://discord.gg/zmh52wnfvM)

## Overview

**Discord Proxy** is a proxy server that provides access to the Discord API via gRPC.

The main purpose is to enable applications to use the Discord API without having to implement Discord's websocket protocol. Instead, applications can use the gRPC API and the proxy will resolve all requests with the Discord API server via websockets or HTTP.

Python applications can import the generated gRPC client directly. Applications in other languages can use the protobuf definition to generate their own gRPC client.

## Documentation

For more information please see the [documentation](https://discordproxy.readthedocs.io/en/latest/?badge=latest).
Pyriod 0.3.3
Basic period detection and fitting routines for astronomical time series.
Requires Python: >=3.6

# Pyriod

Python implementation of basic period detection and fitting routines for astronomical time series.

Give it a spin before you install with an example notebook [on Binder](https://mybinder.org/v2/gh/keatonb/Pyriod/HEAD?filepath=examples%2FTSC2_Demo.ipynb). (This can take a while to load!)

To install, use

```pip install Pyriod```

or download the latest (possibly unstable) version from GitHub and run

```python setup.py install```

Additional documentation is available at [pyriod.readthedocs.io](https://pyriod.readthedocs.io).

This code uses [Qgrid](https://github.com/quantopian/qgrid) and other Jupyter widgets to interactively display the frequency solution.  
Unfortunately Qgrid is no longer supported. We are grateful to @zhihanyue for maintaining [qgridnext](https://github.com/zhihanyue/qgridnext).