MiniSat is a minimalistic, open-source SAT solver, developed to help researchers and developers alike to get started on SAT (Boolean satisfiability problem)
A simulated annealing like optimization algorithm, a reimplementation of Roger Alsing's excellent idea. The goal is to get an image represented as a collection of overlapping polygons of various colors and transparencies.
Acumem is a leading provider of intelligent software technology which analyzes and optimizes the computing performance in single- and multi core environments.
Cinpy is a Python library that allows you to implement functions with C in Python modules. Inlined C code is compiled with tcc (Tiny C Compiler) at runtime. The results are made callable in Python with ctypes library.
simpy
Watch naufraghi
