pqcfox

"""sat.py: a simple DPLL SAT solver in pure python.

The API is designed to be as simple as possible:

>>> x = Var('x')
>>> y = Var('y')
>>> z = Var('z')
>>> DPLL([(x, y, z),
...       (x, y, ~z),
...       (x, ~y, z),

dvlden

This is my personal list of functions that I wrote for converting mov files to mp4!

Command Flags

Flag	Options	Description
-codec:a	libfaac, libfdk_aac, libvorbis	Audio Codec
-quality	best, good, realtime	Video Quality
-b:a	128k, 192k, 256k, 320k	Audio Bitrate
-codec:v	mpeg4, libx264, libvpx-vp9	Video Codec

walkoncross

(from https://www.scivision.co/numpy-image-bgr-to-rgb/)

Numpy / OpenCV image BGR to RGB

Conversion between any/all of BGR, RGB, and GBR may be necessary when working with Matplotlib expects M x N x 3 image, where last dimension is RGB.

OpenCV expects M x N x 3 image, where last dimension is BGR.

Scientific Cameras, some of which output an M X N x 3 image, where last dimension is GBR