Data

Tools

Indexes

Applications

Experiments

Open Source Science

smtc

A Robust SMT-LIB Static Validator

https://github.com/bullptr/smtc

Science Score: 26.0%

This score indicates how likely this project is to be science-related based on various indicators:

  • ○
    CITATION.cff file
  • ✓
    codemeta.json file
    Found codemeta.json file
  • ✓
    .zenodo.json file
    Found .zenodo.json file
  • ○
    DOI references
  • ○
    Academic links in README
  • ○
    Academic email domains
  • ○
    Institutional organization owner
  • ○
    JOSS paper metadata
  • ○
    Scientific vocabulary similarity
    Unable to calculate vocabulary similarity
Last synced: 9 months ago · JSON representation

Repository

A Robust SMT-LIB Static Validator

Basic Info
  • Host: GitHub
  • Owner: bullptr
  • License: mit
  • Language: C
  • Default Branch: main
  • Size: 205 KB
Statistics
  • Stars: 0
  • Watchers: 0
  • Forks: 0
  • Open Issues: 0
  • Releases: 0
Created about 1 year ago · Last pushed 12 months ago
Metadata Files
Readme License Citation

Owner

  • Login: bullptr
  • Kind: user

Software Engineer.

GitHub Events

Total
  • Push event: 1
Last Year
  • Push event: 1

Dependencies

go.mod go
  • github.com/alecthomas/participle/v2 v2.1.4
  • github.com/alecthomas/repr v0.4.0
  • github.com/alexflint/go-arg v1.5.1
  • github.com/alexflint/go-scalar v1.2.0
  • github.com/antlr4-go/antlr/v4 v4.13.1
  • github.com/ashish-sjc/flexbuffers v0.0.0-20240611081427-91619cf93381
  • github.com/cespare/xxhash v1.1.0
  • github.com/fatih/color v1.18.0
  • github.com/google/flatbuffers v25.2.10+incompatible
  • github.com/mattn/go-colorable v0.1.13
  • github.com/mattn/go-isatty v0.0.20
  • github.com/mattn/go-pointer v0.0.1
  • github.com/tree-sitter-grammars/tree-sitter-toml v0.7.0
  • github.com/tree-sitter/go-tree-sitter v0.25.0
  • golang.org/x/exp v0.0.0-20240506185415-9bf2ced13842
  • golang.org/x/sys v0.25.0
go.sum go
  • github.com/OneOfOne/xxhash v1.2.2
  • github.com/alecthomas/participle/v2 v2.1.4
  • github.com/alecthomas/repr v0.4.0
  • github.com/alexflint/go-arg v1.5.1
  • github.com/alexflint/go-scalar v1.2.0
  • github.com/antlr4-go/antlr v0.0.0-20230518091524-98b52378c522
  • github.com/antlr4-go/antlr/v4 v4.13.1
  • github.com/ashish-sjc/flexbuffers v0.0.0-20240611081427-91619cf93381
  • github.com/cespare/xxhash v1.1.0
  • github.com/cespare/xxhash/v2 v2.1.1
  • github.com/davecgh/go-spew v0.0.0-20161028175848-04cdfd42973b
  • github.com/davecgh/go-spew v1.1.0
  • github.com/davecgh/go-spew v1.1.1
  • github.com/fatih/color v1.18.0
  • github.com/google/flatbuffers v25.2.10+incompatible
  • github.com/mattn/go-colorable v0.1.13
  • github.com/mattn/go-isatty v0.0.16
  • github.com/mattn/go-isatty v0.0.20
  • github.com/mattn/go-pointer v0.0.1
  • github.com/pmezard/go-difflib v0.0.0-20151028094244-d8ed2627bdf0
  • github.com/pmezard/go-difflib v1.0.0
  • github.com/sanity-io/litter v1.2.0
  • github.com/spaolacci/murmur3 v0.0.0-20180118202830-f09979ecbc72
  • github.com/stretchr/objx v0.1.0
  • github.com/stretchr/testify v0.0.0-20161117074351-18a02ba4a312
  • github.com/stretchr/testify v1.2.2
  • github.com/stretchr/testify v1.5.1
  • github.com/tree-sitter-grammars/tree-sitter-toml v0.7.0
  • github.com/tree-sitter/go-tree-sitter v0.25.0
  • github.com/tree-sitter/tree-sitter-toml v0.5.1
  • github.com/tsingson/goflatbuffers v0.0.0-20200425094158-ed9a05ac061e
  • github.com/willf/bitset v1.1.10
  • golang.org/x/exp v0.0.0-20230515195305-f3d0a9c9a5cc
  • golang.org/x/exp v0.0.0-20240506185415-9bf2ced13842
  • golang.org/x/sys v0.0.0-20220811171246-fbc7d0a398ab
  • golang.org/x/sys v0.6.0
  • golang.org/x/sys v0.25.0
  • gopkg.in/check.v1 v0.0.0-20161208181325-20d25e280405
  • gopkg.in/yaml.v2 v2.2.2