semvec/pypi-packages huggingface dataset:
py-aiger-abc 0.2.1
Bridge to using Berkeley-ABC with py-aiger.
License: MIT
Requires Python: >=3.7,<4.0

# py-aiger-abc
Aiger <-> ABC bridge

[![PyPI version](https://badge.fury.io/py/py-aiger-abc.svg)](https://badge.fury.io/py/py-aiger-abc)
[![License: MIT](https://img.shields.io/badge/License-MIT-yellow.svg)](https://opensource.org/licenses/MIT)

# Installation

## Non-Python Dependencies

This package currently assumes that the
[ABC](https://github.com/berkeley-abc/abc) and
[aigtoaig](http://fmv.jku.at/aiger/) commands are installed and in the
PATH. In the future, we hope to automatically include these
dependencies, but currently one needs to install them on their own.

## Python Package

If you just need to use `aiger_abc`, you can just run:

`$ pip install py-aiger-abc`

For developers, note that this project uses the
[poetry](https://poetry.eustace.io/) python package/dependency
management tool. Please familarize yourself with it and then run:

`$ poetry install`

# Usage

The primary entry point for using `aiger_abc` is the `simplify`
function which uses `abc` to simplify an AIG. For example, below we
show how `aiger_abc` can be used to simplify the following inefficient
encoding of const false.

```python
import aiger

x = aiger.atom('x')

f = x ^ x
print(f.aig)
```

```
aag 4 1 0 1 3
2
8
4 2 2
6 3 3
8 5 7
```

```python
import aiger_abc
f2 = aiger_abc.simplify(f)
print(f2.aig)
```

```
aag 1 1 0 1 0
2
0
```

## Explicitly Specifying for `abc` and `aigtoaig` commands

`simplify` supports explicitly specifying the
`abc` and `aigtoaig` commands. This is useful
if you have installed them in non-standard paths
or names. E.g.,

```python
f2 = aiger_abc.simplify(f, abc_cmd='abc', aigtoaig_cmf='aigtoaig')
```
python-shell-value 0.1.5
made by hminkoo10, discord : Imposter#2879, email: hmin.koo10@gmail.com
License: MIT

pip install python_shell_value

```py
#input
shell.value('dir')

#output
XXXXX XX XXXX
XXX X XXXXXXXXXXX X X
```

```py
#input
shell.install('shell_value')

#output
OK to install!
or
error!
```
goldieseeker 1.0
A command-line tool for generating and evaluating Goldie Seeking strategies
License: MIT
Requires Python: >=3.6

# goldieseeker
A command-line tool for generating and analyzing strategies for Goldie Seeking in Salmon Run.

Map IDs:
* ap - Ark Polaris
* lo - Lost Outpost
* mb - Marooner's Bay
* sg - Spawning Grounds
* ss - Salmonid Smokeyard

### How to Use
You can install goldieseeker with pip using the command `pip install goldieseeker`, then run `gseek -m [map_id]` using one of the above map IDs. Run `gseek --help` to see all the other options and features. For more customization, you can edit the files in the `goldieseeker/maps` folder. (This should be located wherever you installed the package.)

Requires Python 3.6 or higher.

More extensive documentation coming soon... hopefully?

### Formatting
* Strategies are notated in the form "a(b, c)": open A, go to B if A is high, go to C if A is low
* If a gusher is starred (e.g. a*), the Goldie will never be found in that gusher

### Acknowledgements
* Thanks to Deelatch and RR for help with search algorithm
* Thanks to the Salmon Run server for feedback on features and UI
* Map images from [Salmon Learn](https://github.com/GungeeSpla/salmon_learn)