2016/solvers.html at main · satcompetition/2016 · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
<!DOCTYPE html>
<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
<title>Solvers - SAT Competition 2016</title>
<link rel="stylesheet" href="main.css" type="text/css">
<link rel="icon" type="image/x-icon" href="doge2.ico">
<script src="https://www.w3schools.com/lib/w3.js"></script>
<style>a#solvers { color:#c20114; }</style>
</head>
<body>
<div class="main">
  <div class="navigation" w3-include-html="navigation.html"></div>
  <script>w3.includeHTML();</script>
  <div class="content">
<h2>Participating Solvers</h2>

<p>Solver source codes are available <a href="solvers">here</a> </p>
<p>Incremental Solvers (and also benchmarks) <a href="downloads/incremental.zip">here</a></p>
<p>Sat Competition Proceedings - containing the solver and benchmark descriptions is available on SAT Conference USB Stick and
<a href="http://hdl.handle.net/10138/164630">here</a>.</p>
  </div>
</div>
</body>
</html>