libcryptominisat5-5.6

SAT solver library

pypy-pyparsing

alternative to creating and executing simple grammars - pypy

This is a transitional package for pypy PyParsing v2.x

vim-bitbake

Vim plugin to interact with Yocto bitbake-based recipes

This set of scripts helps in creating new yocto recipes from scratch, and adds highlighting on the already written ones.

python3-cryptominisat

Python bindings for the CryptoMiniSat SAT solver (Python 3)

CryptoMiniSat is a modern, multi-threaded, simplifying SAT solver.

libfparser4

Function Parser for C++

This C++ library offers a class which can be used to parse and evaluate a mathematical function from a string (which might be eg. requested from the user).

libgdsii0

Library for GDSII handling

This is a C++ library for working with GDSII binary data files, intended primarily for use with the computational electromagnetism codes scuff-em and meep but sufficiently general-purpose to allow other uses as well.