-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathindex.html
139 lines (126 loc) · 5.39 KB
/
index.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
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
<!doctype html>
<html lang="en">
<head>
<meta charset="utf-8">
<meta name="viewport" content="width=device-width, initial-scale=1, shrink-to-fit=no">
<meta name="description" content="">
<meta name="generator" content="Jekyll v4.1.1">
<meta name="author" content="Huyen Nguyen | CS PhD Student TTU">
<!--
_ _ _ _ _
| |__ (_) | |_ | |__ ___ _ __ ___ | |
| '_ \ | | | __|| '_ \ / _ \| '__|/ _ \| |
| | | || | | |_ | | | || __/| | | __/|_|
|_| |_||_| \__||_| |_| \___||_| \___|(_)
.---._ _.-'"""'-._ _.---.
:.---._`.: .- -. ;.'_.---.;
: ' `.': .`.' ` ;
`....-':'::. 0 0 .' :;`-....'
:.:'_:---:_`::;
.--._ `:_( )_:' _.--.
.----. ``-.' \ / `.-'' .----.
: : .---'': `-.-' :--''''-. : :
___: :____.--''`. : .'``--._____: :_____
: :_.'| ' | `''"'|"'' | ` `._; :
____`-'____|_______|_______|_______|_______|___`-'______
| | | | | | |
______|_______|_______|_______|_______|_______|_______|___
| | | | | | |
_|_______|_______|_______|_______|_______|_______|________
| | | | | | |
____|_______|_______|_______|_______|_______|_______|_____
Q. What does Christopher Robbins feed Tigger?
A. Nothing he’s already stuffed.
-->
<link rel="shortcut icon" href="images/Gaming-Queen.ico"/>
<title>N-queens SAT</title>
<script
src="https://code.jquery.com/jquery-3.5.1.min.js"
integrity="sha256-9/aliU8dGd2tb6OSsuzixeV4y/faTqgFtohetphbbj0="
crossorigin="anonymous"></script> <link rel="stylesheet" href="css/bootstrap.min.css"
integrity="sha384-Gn5384xqQ1aoWXA+058RXPxPg6fy4IWvTNh0E263XmFcJlSAwiGgFAW/dAiS6JXm" crossorigin="anonymous">
<script src="lib/d3.v4.min.js"></script>
<link rel="stylesheet" href="https://stackpath.bootstrapcdn.com/bootstrap/4.5.2/css/bootstrap.min.css" integrity="sha384-JcKb8q3iqJ61gNV9KGb8thSsNjpSL0n8PARn9HuZOnIxN0hoP+VmmDGMN5t9UJ0Z" crossorigin="anonymous">
<script src="https://stackpath.bootstrapcdn.com/bootstrap/4.5.2/js/bootstrap.min.js" integrity="sha384-B4gt1jrGC7Jh4AgTPSdUtOBvfO8shuf57BaghqFfPlYxofvL8/KUEfYiJOMMV+rV" crossorigin="anonymous"></script>
<script src="https://stackpath.bootstrapcdn.com/bootstrap/4.5.2/js/bootstrap.bundle.min.js" integrity="sha384-LtrjvnR4Twt/qOuYxE721u19sVFLVSA4hf/rRt6PrZTmiPltdZcI7q7PXQBYTKyf" crossorigin="anonymous"></script>
<!-- <script src="lib/popper.min.js"></script>-->
<link href="css/styles.css" rel="stylesheet">
</head>
<body class="py-4">
<div class="container">
<h1>N-queens Problem SAT Solver</h1>
<p class="lead">Simple SAT solver for the <a href="https://www.educative.io/edpresso/the-n-queen-problem"
target="_blank"
>n-queens problem</a>. Just input the number of queens, voilà!</p>
<p class="mb-4"> </p>
<div class="row mb-3">
<div class="col-md-8">
<div>
<div class="form-group mb-2" style="display: inline-block">
<label>Number of Queens</label>
</div>
<div id="selectPanelDiv" class="form-group mx-sm-3 mb-2" style="display: inline-block">
</div>
<button id="runbutton" class="btn btn-success mb-2">Run</button>
<div id="result" class="btn">
<div class="loadingio-spinner-spinner-e4l0gr1tas4">
<div class="ldio-6rtrst5re4l">
<div></div>
<div></div>
<div></div>
<div></div>
<div></div>
<div></div>
<div></div>
<div></div>
<div></div>
<div></div>
<div></div>
<div></div>
</div>
</div>
</div>
</div>
</div>
</div>
<div class="row mb-3 wrapper container">
<div id="cnf-wrapper" class="col-md-4 themed-grid-col bg-light">
<div>
<h4 style="display: inline-block"><code>DIMACS CNF formula</code></h4>
<div class="scroll-note btn-icon">
<button id="popoverCopy" class="btn btn-light" href="#" onclick="copyCNF()">
<img class="icon" src="images/copy-icon.png"></button>
<a id="download_link">
<button id="popoverExport" class="btn btn-light" onclick="exportCNF()">
<img class="icon" src="images/export-icona.png"></button></a>
</div>
</div>
<div id="editor-wrapper" style="overflow: scroll !important;">
<div id="editor"></div>
<div id="clipboard" style="display: none"></div>
</div>
</div>
<div class="col-md-8 themed-grid-col bg-light">
<div>
<h4 style="display: inline-block"><code>Output</code></h4>
<span class="scroll-note">auto-scroll</span>
</div>
<div id="output-wrapper" style="overflow: auto">
<div class="row" style="width: 1100px">
<div id="output" class="col-md-12 bg-light" readOnly="true" spellcheck="false">
</div>
</div>
</div>
<div id="chess-wrapper" class="col-md-12 bg-light" style="overflow: auto">
<div>
<div id="chessBoardNormal" class="chessBoard mt-3" style="visibility: hidden">
</div>
</div>
</div>
</div>
</div>
</div>
<script src="minisat/crmns.js" type="text/javascript" charset="utf-8"></script>
<script src="lib/main.js"></script>
</body>
</html>