KO
|
EN
gitlite — search
Search
#python
#java
#python3
#arduino
#golang
#machine-learning
#rust
#html
#flask
#javascript
#seismology
#nodejs
warthog
★ 15
Open GitHub ↗
A Logic Framework in Scala
Download README (.md)
Explore Similar Repositories
stockfolio
:
Track stock portfolio positions and stock watchlist from the command line
Atreides
:
Simple rails CMS
django-croppable-images
:
No description available.
Compromise
:
No description available.
Peyote
:
A database query builder engine for PHP 5.3+
// repository documentation
Was this content helpful?
★ 0
(0 ratings)
Select Rating:
★
★
★
★
★
Submit Feedback
Recent Feedback
×
Download README
Do you want to download the
README.md
file for
warthog
?
Download (.md)
 # Warthog Logic [](https://travis-ci.org/warthog-logic/warthog) **Warthog** is a logical toolbox for propositional, first-order, higher-order, temporal and description logics. It is currently used in teaching automated reasoning courses at the University of Tübingen. Our vision is to produce a comprehensive framework for manifold logics and integrate external provers and knowledge compilation tools (e.g. SAT solvers, automated theorem provers, description logic reasoners, BDD packages, DNNF compilers, ASP environments, etc.). The goal is to represent and manipulate formulas in scala and then feed them to your tool of choice, thereby allowing to e.g. convert a general propositional formula to CNF, feed it to a SAT solver, then to a DNNF compiler, project the result to a subset of its variables and build a BDD out of it.
