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.