SATX · PyPI

SAT-X The constraint modeling languaje for SAT solvers

Project description

The author of this package has not provided a project description

Project details

Release history Release notifications | RSS feed

0.3.8

Jun 13, 2022

0.3.7

Mar 29, 2022

0.3.6

Nov 8, 2021

0.3.5

Oct 4, 2021

0.3.4

Sep 11, 2021

0.3.3

Sep 10, 2021

0.3.2

Jun 29, 2021

This version

0.3.1

Jun 25, 2021

0.3.0

Jun 25, 2021

0.2.3

May 27, 2021

0.2.2

May 25, 2021

0.2.1

May 23, 2021

0.2.0

May 21, 2021

0.1.8

Apr 29, 2021

0.1.7

Apr 28, 2021

0.1.6

Apr 27, 2021

0.1.5

Apr 25, 2021

0.1.4

Apr 24, 2021

0.1.3

Apr 24, 2021

0.1.2

Apr 23, 2021

0.1.1

Apr 22, 2021

0.1.0

Apr 17, 2021

0.0.9

Apr 16, 2021

0.0.8

Apr 16, 2021

0.0.7

Apr 16, 2021

0.0.6

Apr 15, 2021

0.0.5

Apr 14, 2021

0.0.4

Apr 13, 2021

0.0.2

Apr 10, 2021

0.0.1

Apr 9, 2021

0.0.0

Apr 9, 2021

Download files

Download the file for your platform. If you're not sure which to choose, learn more about installing packages.

Source Distribution

SATX-0.3.1.tar.gz (15.0 kB view details)

Uploaded Jun 25, 2021 Source

File details

Details for the file SATX-0.3.1.tar.gz.

File metadata

Download URL: SATX-0.3.1.tar.gz
Upload date: Jun 25, 2021
Size: 15.0 kB
Tags: Source
Uploaded using Trusted Publishing? No
Uploaded via: twine/3.4.1 importlib_metadata/3.10.0 pkginfo/1.7.0 requests/2.25.1 requests-toolbelt/0.9.1 tqdm/4.60.0 CPython/3.9.5

File hashes

Hashes for SATX-0.3.1.tar.gz
Algorithm	Hash digest
SHA256	`a77972afcd595bf9a305c9c498b558de9005da294f88d962cecacd726de90c13`
MD5	`51033fd4c2719d02a39fda1cdcee09c4`
BLAKE2b-256	`09269b0554e46cf73cfb21354aac350c45fac720eec3ddce7c0625eecaf07af1`