generated from satcompetition/2020
-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathtrack_hack.html
42 lines (36 loc) · 1.96 KB
/
track_hack.html
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
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
<!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">
<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
<title>SAT Competition</title>
<link rel="stylesheet" href="main.css" type="text/css">
<link rel="stylesheet" href="template.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#track-hack { color:#e17861; }</style>
</head>
<body>
<div class="main">
<div class="navigation" w3-include-html="navigation.html"></div>
<script>w3.includeHTML();</script>
<div class="content">
<h1 class='tpl-name'></h1>
<h2>CaDiCaL Hack Track</h2>
<p>
Hack Tracks have been part of many SAT Competition since 2009.
The motivation of hack tracks is two-fold.
On the one hand, we want to lower the threshold for Master and PhD students to enter the SAT Competition with new and innovative ideas.
On the other hand, the aim is to see how far the performance of CaDiCaL can be improved by making only minor changes to its source code.
Competing with minor hacks helps the community to isolate the actual causes of improvements.
Thus, we strongly encourage all participants of the Main track (including non-students) to participate with a "hacked" CaDiCaL solver.
</p>
<p>
Participants in the CaDiCaL Hack Track should use the source of the newly released <a href="https://github.com/arminbiere/cadical/tree/rel-1.4.0">CaDiCaL 1.4</a>.
These sources include a comfortable <a href="https://github.com/arminbiere/cadical/blob/rel-1.4.0/scripts/prepare-sc2021-submission.sh">script for preparing the submission for StarExec</a>.
In order to qualify as a CaDiCaL Hack, the diff between the patched and modified sources of CaDiCaL 1.4 has to be less than 1000 non-space characters.
You can use our <a href="downloads/editdistance.zip">edit distance tool</a> on all modified files to count the number of modifications.
</p>
</div>
</div>
</body>
</html>