4 results found Sort:

enzet
symbolic-execution enzet
56
488
cc-by-sa-4.0
38
History of symbolic execution (as well as SAT/SMT solving, fuzzing, and taint data tracking)
history solving concolic timeline dynamic-analysis program-analysis concolic-execution symbolic-execution dynamic-symbolic-execution
Created 2017-03-10
141 commits to master branch, last one 3 months ago
nghorbani
moshpp nghorbani
32
209
other
8
Motion and Shape Capture from Sparse Markers
mocap vicon solving marker-based computer-vision
Created 2021-09-29
53 commits to main branch, last one 2 years ago
microsoft
Zen microsoft
13
95
mit
8
Zen is a constraint solving library for .NET
zen solving constraint verification
Created 2020-04-26
256 commits to master branch, last one about a year ago
shahradelahi
quera-solutions shahradelahi
0
30
mit
2
پاسخ های برخی از سوالات در کوئرا
quera answers solving problems programming
Created 2022-06-25
14 commits to master branch, last one 2 years ago