Skip to content

Commit

Permalink
README
Browse files Browse the repository at this point in the history
  • Loading branch information
Динмухаметов Марат Линарович committed Apr 24, 2021
1 parent 704b93c commit c9fb1c4
Showing 1 changed file with 3 additions and 1 deletion.
4 changes: 3 additions & 1 deletion README.md
View file
Original file line number Diff line number Diff line change
@@ -1,6 +1,8 @@
# JavaBoolector

JavaBoolector allows you to call [Boolector](https://github.com/boolector/boolector) from Java
JavaBoolector allows you to call [Boolector](https://github.com/boolector/boolector/tree/0dba411bebb9ac70fd03de68f984ccb5bd3e1a03) from Java.

*We are using Boolector version 3.2.1*

## Build

Expand Down

0 comments on commit c9fb1c4

Please sign in to comment.