# The devel/stp port

## stp-2.2.0p7 – decision procedure for bit-vectors and arrays

## Description

    STP is a constraint solver (also referred to as a decision procedure
    or automated prover) aimed at solving constraints generated by program
    analysis tools, theorem provers, automated bug finders, intelligent
    fuzzers and model checkers.

WWW: https://stp.github.io/

Only for arches
  aarch64 aarch64 alpha amd64 amd64 arm arm hppa i386 i386 mips64 mips64 mips64el mips64el powerpc powerpc powerpc64 powerpc64 riscv64 riscv64 sparc64
Categories:
  devel lang/python

## Library dependencies

- STEM->=15,<16:lang/gcc/15,-libs
- devel/boost
- math/minisat

## Build dependencies

- STEM->=15,<16:lang/gcc/15
- STEM->=15,<16:lang/gcc/15,-c++
- STEM->=4:devel/cmake/core
- devel/bison
- devel/ninja
- devel/py-setuptools
- lang/python/3

## Run dependencies