KO
|
EN
gitlite — search
Search
#python
#java
#python3
#arduino
#golang
#machine-learning
#rust
#html
#flask
#javascript
#seismology
#nodejs
satviz
★ 11
Open GitHub ↗
No description available.
Download README (.md)
Explore Similar Repositories
UnitConversionApp
:
A Windows Application to convert between metric, U.S., Imperial, and other units.
computational-infectious-disease
:
The companion repository to Computational Modeling of Infectious Disease by Chris von Csefalvay
swift_logger
:
This is how you can manage and share logs in iOS application.
Pulse
:
Fast, in-browser P2P file transfers using WebTorrent.
store
:
An e-commerce store built with react, redux-toolkit and Material UI
// 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
satviz
?
Download (.md)
# satviz satviz is an application that visualises reentrant incremental satisfiability (SAT) solvers and proofs. More generally, it provides abstractions and a compact protocol for sending [CNF clauses](https://en.wikipedia.org/wiki/Conjunctive_normal_form) from a *source* (such as a [DRAT](https://github.com/marijnheule/drat-trim) proof or a [CDCL](https://en.wikipedia.org/wiki/Conflict-driven_clause_learning) solver) to a *consumer*, which processes clauses in some way. This repository specifically provides a *consumer* visualising clauses using a *Variable Interaction Graph* and a *heatmap*. The visualisation part currently only supports *Linux*.  ## Installation Pre-built images for Linux/x64 can be found in the [releases section](https://github.com/satviz/satviz/releases) of this repository. Download `satviz.zip` for the main application and (optionally) `satviz-producer.zip` for the standalone producer application (for externalised computing). Unzip the archives in a directory of your choice. `bin/satviz` or `bin/sat-prod` respectively can be used to run the applications. ## Source Code Prerequisites To work on the project and to build it, you'll need to install a few dependencies: - `gcc` and `make` - those should be preinstalled on most Linux distributions. - `cmake` - to configure the C++ project builds - `libtheora-dev` - for video encoding - `libsfml-dev` - for rendering - `libgtest-dev` - to run the test suite - a JDK for Java SE 17 On Ubuntu, you can install most of these using `sudo apt install build-essential cmake libtheora-dev libsfml-dev libgtest-dev`. For the JDK, we recommend [*sdkman!*](https://sdkman.io): `sdk install java 17.0.2-open` ## Build from Source Clone this repository and run the following commands: ``` git submodule init git submodule update ``` To install the app on your system, run `sudo ./gradlew install`. To only get a zipped distribution and not install it directly, use `./gradlew satvizDist` instead. You will find the visualisation app in `satviz-consumer/build/satviz.zip` and the producer app in `satviz-producer/build/satviz-producer.zip`. Both contain a script to run them in `bin/`. ## Information for Reviewers For testing purposes, you can also run `./gradlew installTestBuild`, which will put the consumer application in `test-run/satviz`. The script `test_satviz.sh [path-to-cnf] [path-to-drat] [n-contraction-rounds] [node-size]` can be used to run more easily. This script creates a config file for full access to all satviz parameters. So far, the command-line parameters of this script allows to access the most important parameters to reproduce the images created for our pos-2022 paper. Note that as of now, the DRAT-file can not be in binary format, but it can be a text-file or a xz-packed text-file. We recommend, as a default, 10 contraction rounds with a node size of 10.
