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 |
"""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), |
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 |
(from https://www.scivision.co/numpy-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