SRI-CSL/yices2

The Yices SMT Solver

SMTCShellC++MakefileM4satisfiability-modulo-theoriessat-solversmt-solvertheorem-proversatisfiability

Stars and forks stats for /SRI-CSL/yices2

39 forks on 2023-06-3039 forks on 2023-07-0139 forks on 2023-07-0239 forks on 2023-07-0339 forks on 2023-07-0439 forks on 2023-07-0539 forks on 2023-07-0639 forks on 2023-07-0740 forks on 2023-07-0840 forks on 2023-07-0940 forks on 2023-07-1040 forks on 2023-07-1140 forks on 2023-07-1240 forks on 2023-07-1340 forks on 2023-07-1440 forks on 2023-07-1540 forks on 2023-07-1640 forks on 2023-07-1740 forks on 2023-07-1840 forks on 2023-07-1940 forks on 2023-07-2040 forks on 2023-07-2139 forks on 2023-07-2239 forks on 2023-07-2339 forks on 2023-07-2439 forks on 2023-07-2539 forks on 2023-07-2639 forks on 2023-07-2739 forks on 2023-07-2839 forks on 2023-07-2939 forks on 2023-07-3039 forks on 2023-07-3139 forks on 2023-08-0139 forks on 2023-08-0239 forks on 2023-08-0340 forks on 2023-08-0440 forks on 2023-08-0540 forks on 2023-08-0640 forks on 2023-08-0740 forks on 2023-08-0840 forks on 2023-08-0940 forks on 2023-08-1040 forks on 2023-08-1140 forks on 2023-08-1240 forks on 2023-08-1340 forks on 2023-08-1440 forks on 2023-08-1540 forks on 2023-08-1640 forks on 2023-08-1740 forks on 2023-08-1840 forks on 2023-08-1940 forks on 2023-08-2040 forks on 2023-08-2139 forks on 2023-08-2239 forks on 2023-08-2339 forks on 2023-08-2439 forks on 2023-08-2539 forks on 2023-08-2639 forks on 2023-08-2739 forks on 2023-08-2839 forks on 2023-08-2939 forks on 2023-08-3039 forks on 2023-08-3139 forks on 2023-09-0139 forks on 2023-09-0239 forks on 2023-09-0339 forks on 2023-09-0439 forks on 2023-09-0539 forks on 2023-09-0639 forks on 2023-09-0739 forks on 2023-09-0839 forks on 2023-09-0939 forks on 2023-09-1039 forks on 2023-09-1139 forks on 2023-09-1239 forks on 2023-09-1339 forks on 2023-09-1439 forks on 2023-09-1539 forks on 2023-09-1639 forks on 2023-09-1739 forks on 2023-09-1839 forks on 2023-09-1939 forks on 2023-09-2040 forks on 2023-09-2140 forks on 2023-09-2240 forks on 2023-09-2340 forks on 2023-09-2440 forks on 2023-09-2540 forks on 2023-09-2640 forks on 2023-09-27

40forks in total +1last 90 days

331 stars on 2023-06-30331 stars on 2023-07-01331 stars on 2023-07-02331 stars on 2023-07-03331 stars on 2023-07-04331 stars on 2023-07-05331 stars on 2023-07-06331 stars on 2023-07-07331 stars on 2023-07-08331 stars on 2023-07-09331 stars on 2023-07-10331 stars on 2023-07-11331 stars on 2023-07-12331 stars on 2023-07-13331 stars on 2023-07-14331 stars on 2023-07-15331 stars on 2023-07-16331 stars on 2023-07-17331 stars on 2023-07-18331 stars on 2023-07-19331 stars on 2023-07-20331 stars on 2023-07-21331 stars on 2023-07-22332 stars on 2023-07-23333 stars on 2023-07-24333 stars on 2023-07-25334 stars on 2023-07-26335 stars on 2023-07-27335 stars on 2023-07-28335 stars on 2023-07-29335 stars on 2023-07-30335 stars on 2023-07-31335 stars on 2023-08-01335 stars on 2023-08-02335 stars on 2023-08-03335 stars on 2023-08-04335 stars on 2023-08-05335 stars on 2023-08-06335 stars on 2023-08-07335 stars on 2023-08-08336 stars on 2023-08-09336 stars on 2023-08-10336 stars on 2023-08-11336 stars on 2023-08-12336 stars on 2023-08-13336 stars on 2023-08-14336 stars on 2023-08-15336 stars on 2023-08-16336 stars on 2023-08-17337 stars on 2023-08-18337 stars on 2023-08-19337 stars on 2023-08-20337 stars on 2023-08-21338 stars on 2023-08-22338 stars on 2023-08-23337 stars on 2023-08-24337 stars on 2023-08-25337 stars on 2023-08-26337 stars on 2023-08-27337 stars on 2023-08-28337 stars on 2023-08-29337 stars on 2023-08-30337 stars on 2023-08-31337 stars on 2023-09-01337 stars on 2023-09-02337 stars on 2023-09-03337 stars on 2023-09-04337 stars on 2023-09-05336 stars on 2023-09-06337 stars on 2023-09-07338 stars on 2023-09-08338 stars on 2023-09-09338 stars on 2023-09-10338 stars on 2023-09-11338 stars on 2023-09-12338 stars on 2023-09-13338 stars on 2023-09-14338 stars on 2023-09-15338 stars on 2023-09-16338 stars on 2023-09-17338 stars on 2023-09-18338 stars on 2023-09-19338 stars on 2023-09-20338 stars on 2023-09-21338 stars on 2023-09-22338 stars on 2023-09-23338 stars on 2023-09-24338 stars on 2023-09-25338 stars on 2023-09-26338 stars on 2023-09-27

338stars in total +12last 90 days

This is stars and forks stats for /SRI-CSL/yices2 repository. As of 27 Sep, 2023 this repository has 338 stars and 40 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...
Read on GithubGithub Stats Page
repotechsstarsweeklyforksweekly
Ricochet-Exchange/ricochet-protocolSolidityTypeScriptShell250330
ProjectSegfault/websiteSvelteTypeScriptCSS10060
emilkowalski/sonnerTypeScriptCSSMDX4k0840
iasql/iasqlTypeScriptMDXJavaScript561+1240
WebAssembly/wasi-threadsWebAssemblyCAssembly78060
lukemelas/realfusionPythonCudaC4800320
fragallegos/USFQ-3DAssemblyC++Objective-C1010
lucasgiovanny/filament-multiselect-two-sidesBladePHPJavaScript53040
checkpoint-restore/criuCPythonJava2.4k04980
jszczerbinsky/lwpCCMakeBatchfile786+810+1