Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

The Top 17 C Smt Open Source Projects

Open source projects categorized as C Smt
Portsmash ⭐ 458
most recent commit 5 years ago
Smack ⭐ 367
SMACK Software Verifier and Verification Toolchain
most recent commit 2 years ago
Esbmc ⭐ 221
The efficient SMT-based context-bounded model checker (ESBMC)
most recent commit 3 months ago
Euclid_probe ⭐ 215
Euclid probe, a magnetically coupled Z Probe
most recent commit 8 months ago
Smart ⭐ 57
SMT-aware Real-time scheduler for Linux
most recent commit 9 years ago
Pinecone_pi_nano ⭐ 50
PineconePi Nano is a development board that meets all the good ideas of 8051 MCU enthusiasts and creators: low cost, small size, size only 52 mm x 18 mm (DIP40); faster core: ultra-high speed 8051 core (1T), 12 times faster than traditional 8051; wide range of use: working voltage: 2.0V ~ 5.5V (built-in LDO), working temperature: - 40 ~85 (℃); rich peripherals and hardware resources. Source: One-button cold start, 8-channel LED, two SMT digital tubes, onboard Ch330N; 64K Flash, 5-way TIM, 8-way
most recent commit 5 years ago
Computie ⭐ 31
A collection of 68k computer projects, including a unix-like operating system written in C that runs on them
most recent commit 8 months ago
C3 ⭐ 27
The C3, SMT/SAT solver written in C.
most recent commit 2 years ago
Smt Mc ⭐ 21
The Parrot stable and deterministic multi-threading system.
most recent commit 10 years ago
Bymc ⭐ 17
Byzantine model checker
most recent commit a year ago
Dispenser ⭐ 16
SMT solder paste and flux dispenser
most recent commit 3 years ago
Swiprologz3 ⭐ 11
A simple Prolog API for the Z3 constraint solver
most recent commit 6 years ago
Cbtsp ⭐ 6
A high level path planning solver for the SAT-TSP problem described in "An SMT-Based Approach to Motion Planning for Multiple Robots with Complex Constraints".
most recent commit 7 years ago
Smt ⭐ 6
Survey Monitoring Tool
most recent commit 5 months ago
Prrts C ⭐ 5
Parallel RRT* - A fast parallel robotic motion planner (in C)
most recent commit 12 years ago
Tdoh L5g Challenges ⭐ 5
Challenges at SITCON 2017
most recent commit 7 years ago
Rantanplan Public ⭐ 5
RanTanPlan is a planner that supports numeric fluents and uses a planning as SMT approach.
most recent commit 5 years ago
Popular Programming Languages Categories
Python
Javascript
Java
Typescript
C Plus Plus
Php
Golang
C
C Sharp
Shell
Categories
Privacy | About | Terms | Follow Us On Twitter

Downloads, Dependent Repos, Dependent Packages, Total Releases, Latest Releases data powered by Libraries.io.

Copyright 2018-2024 Awesome Open Source.  All rights reserved.