Stars
- All languages
- Agda
- ApacheConf
- Arc
- Astro
- Awk
- Batchfile
- Bro
- C
- C#
- C++
- CSS
- Clojure
- CoffeeScript
- Common Lisp
- Coq
- Cuda
- D
- DIGITAL Command Language
- Dockerfile
- Elixir
- Emacs Lisp
- Erlang
- Frege
- Go
- Groff
- Groovy
- HCL
- HTML
- Handlebars
- Haskell
- Haxe
- Idris
- Java
- JavaScript
- Julia
- Jupyter Notebook
- Kotlin
- LLVM
- Less
- Lua
- Makefile
- Markdown
- Mercury
- Mustache
- Nim
- Nix
- OCaml
- Objective-C
- PHP
- PLpgSQL
- Perl
- PostScript
- PowerShell
- Pug
- PureScript
- Python
- R
- Racket
- Raku
- Roff
- Ruby
- Rust
- SCSS
- SMT
- Sass
- Scala
- Scheme
- Shell
- Smarty
- Standard ML
- Swift
- Tcl
- TeX
- Thrift
- TypeScript
- Vim Script
- Vim Snippet
- XSLT
- Zeek
1
star
written in SMT
Clear filter
cvc5 is an open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.