Ecosyste.ms: Awesome

An open API service indexing awesome lists of open source software.

Awesome Lists | Featured Topics | Projects

https://github.com/sri-csl/etb

The Evidential Tool Bus
https://github.com/sri-csl/etb

Last synced: 2 months ago
JSON representation

The Evidential Tool Bus

Host: GitHub
URL: https://github.com/sri-csl/etb
Owner: SRI-CSL
License: gpl-3.0
Created: 2015-01-09T23:58:56.000Z (almost 10 years ago)
Default Branch: master
Last Pushed: 2022-10-28T17:16:31.000Z (about 2 years ago)
Last Synced: 2023-12-18T03:36:20.459Z (about 1 year ago)
Language: Python
Size: 897 KB
Stars: 6
Watchers: 15
Forks: 4
Open Issues: 6
Metadata Files:
- Readme: README.md
- Changelog: CHANGES
- License: LICENSE

Awesome Lists containing this project

README

        [![PyPI version](https://badge.fury.io/py/EvidentialToolBus.svg)](https://badge.fury.io/py/EvidentialToolBus)

Evidential Tool Bus (ETB)

=========================

See the file INSTALL for installation instruction, in particular

external dependencies required to get ETB running.

The demos/ directory contains demos of ETB: 

*  allsat/ implements an ALLSAT solver using the ETB on top of the

     yices SMT solver.

*   allsat2/ implements an ALLSAT solver using the ETB on top of the

      yices2 SMT solver.

  

*   make/ shows how to use the ETB to implement a distributed make

      tools that keeps track of all dependencies between source and

      objects files.

*   k-induction/ shows two ways to implement a simple k-induction

      procedure on top of the ETB. It shows how derivation rules can

      be used to establish a fact, and inference rules can be used

      to extract a proof of that fact.

*   hybridSal/ shows how to integrate separate tools in a 

      complete workflow.

*   vc/ shows a demo of a wrapper that dynamically creates lemmata (generated clauses)

*   blackwhite/ shows a demo of the pure Datalog with recursion but without any wrappers

The doc/ directory contains the documentation, including reference manuals

The src/ directory  contains the source code (see the README there for more details)

The tests/ directory  contains test scripts