Add tusSAT solver

satlive · Apr 14, 2016 · f860327 · f860327
1 parent e1e83ed
commit f860327
Show file tree

Hide file tree

Showing 2 changed files with 8 additions and 0 deletions.
diff --git a/_solvers/tusSAT.md b/_solvers/tusSAT.md
@@ -0,0 +1,6 @@
+---
+name: tusSAT
+link: https://github.com/Sumith1896/tusSAT
+language: VHDL
+tags: FPGA
+---
diff --git a/solvers.html b/solvers.html
@@ -18,6 +18,8 @@ <h2>SAT solvers</h2>
 
 {% include solverspanel.html title="Pre-processors" tags="PREPROC" %}
 
+{% include solverspanel.html title="FPGA based sat solvers" tags="FPGA" %}
+
 <h2>Pseudo-Boolean solvers</h2>
 
 {% include solverspanel.html title="Pseudo-Boolean Optimizers" tags="PB" %}