Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About
Search results for c smt
c
x
smt
x
17 search results found
Portsmash
⭐
458
Smack
⭐
367
SMACK Software Verifier and Verification Toolchain
Esbmc
⭐
221
The efficient SMT-based context-bounded model checker (ESBMC)
Euclid_probe
⭐
215
Euclid probe, a magnetically coupled Z Probe
Smart
⭐
57
SMT-aware Real-time scheduler for Linux
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
Computie
⭐
31
A collection of 68k computer projects, including a unix-like operating system written in C that runs on them
C3
⭐
27
The C3, SMT/SAT solver written in C.
Smt Mc
⭐
21
The Parrot stable and deterministic multi-threading system.
Bymc
⭐
17
Byzantine model checker
Dispenser
⭐
16
SMT solder paste and flux dispenser
Swiprologz3
⭐
11
A simple Prolog API for the Z3 constraint solver
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".
Smt
⭐
6
Survey Monitoring Tool
Prrts C
⭐
5
Parallel RRT* - A fast parallel robotic motion planner (in C)
Tdoh L5g Challenges
⭐
5
Challenges at SITCON 2017
Rantanplan Public
⭐
5
RanTanPlan is a planner that supports numeric fluents and uses a planning as SMT approach.
Related Searches
C Kernel (12,842)
C Video Game (4,242)
C Driver (4,106)
Python C (4,069)
C Firmware (3,545)
C Arduino (3,118)
C Usb (2,589)
C Arm (2,566)
C Command Line (2,475)
C Algorithms (2,333)
1-17 of 17 search results
Privacy
|
About
|
Terms
|
Follow Us On Twitter
Copyright 2018-2024 Awesome Open Source. All rights reserved.