This is stars and forks stats for /SRI-CSL/yices2 repository. As of 26 Apr, 2024 this repository has 341 stars and 41 forks.
Yices 2 Yices 2 is a solver for Satisfiability Modulo Theories (SMT) problems. Yices 2 can process input written in the SMT-LIB language, or in Yices' own specification language. We also provide a C API and bindings for Java, Python, Go, and OCaml. This repository includes the source of Yices 2, documentation, tests, and examples. Yices 2 is developed by Bruno Dutertre, Dejan Jovanovic, Stéphane Graham-Lengrand, and Ian A. Mason at the Computer Science Laboratory, SRI International. To contact us, or...
Yices 2 Yices 2 is a solver for Satisfiability Modulo Theories (SMT) problems. Yices 2 can process input written in the SMT-LIB language, or in Yices' own specification language. We also provide a C API and bindings for Java, Python, Go, and OCaml. This repository includes the source of Yices 2, documentation, tests, and examples. Yices 2 is developed by Bruno Dutertre, Dejan Jovanovic, Stéphane Graham-Lengrand, and Ian A. Mason at the Computer Science Laboratory, SRI International. To contact us, or...
repo | techs | stars | weekly | forks | weekly |
---|---|---|---|---|---|
Ricochet-Exchange/ricochet-protocol | SolidityTypeScriptShell | 25 | 0 | 33 | 0 |
ProjectSegfault/website | SvelteTypeScriptCSS | 10 | 0 | 6 | 0 |
emilkowalski/sonner | TypeScriptCSSMDX | 4.6k | +207 | 105 | +8 |
iasql/iasql | TypeScriptMDXJavaScript | 561 | 0 | 24 | 0 |
WebAssembly/wasi-threads | WebAssemblyCAssembly | 80 | +1 | 6 | 0 |
lukemelas/realfusion | PythonCudaC | 488 | 0 | 32 | 0 |
fragallegos/USFQ-3D | AssemblyC++Objective-C | 1 | 0 | 1 | 0 |
lucasgiovanny/filament-multiselect-two-sides | BladePHPJavaScript | 53 | 0 | 5 | 0 |
checkpoint-restore/criu | CPythonJava | 2.4k | +12 | 501 | +1 |
jszczerbinsky/lwp | CCMakeBatchfile | 789 | 0 | 10 | 0 |