This library provides an interface to State-of-the-Art SMT solvers, such as the entrants of SMT-COMP. The input to SMT solvers are already S-expression. Unfortunately, there is a slight difference ...

CL.1 - Sharpen your senses. Dornbracht presents CL.1, a new fittings series for the bathroom. Its progressive design language marks the start of a new era of Dornbracht design – dynamic, animated and ...

This is a set of programs to restore and back up your HP-41CL settings and memory. Dependencies are the YFNX, Power-CL and Lib4 modules. Resets the MMU settings. It will first put YFNX into page E and ...

Compulab has launched a CL-SOM-iMX6UL system-on-module based on Freescale i.MX 6UltraLite ARM Cortex A7 processor with up to 1GB DDR3 and 32GB eMMC flash. The module can be coupled with SB-SOM-iMX6UL ...

After a few years of speculations and developments about i.MX7 and i.MX8 processors, Freescale announced Freescale i.MX7 family this summer. The new processors are based on one or two Cortex A7 cores ...

ICP Australia has introduced ICP DAS’s CL-210-E remote PM2.5, temperature, humidity, dew point data logger module. The CL-210-E data logger devices can be used to record PM2.5, temperature, humidity ...