-
Notifications
You must be signed in to change notification settings - Fork 0
/
software.html
125 lines (117 loc) · 4.08 KB
/
software.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
<!DOCTYPE html>
<html lang="en">
<head>
<meta charset="utf-8">
<meta name="viewport" content="width=device-width, initial-scale=1.0, maximum-scale=1.0">
<link rel="shortcut icon" href="img/favicon.ico">
<title>CLP Lab | Software</title>
<!-- Bootstrap's minified css -->
<link rel="stylesheet" type="text/css" href="css/bootstrap/css/bootstrap.min.css">
<!-- Font Awesome -->
<link rel="stylesheet" type="text/css" href="css/font-awesome.min.css">
<!-- Pages CSS -->
<link rel="stylesheet" type="text/css" href="css/style.css">
<!-- Print CSS -->
<link rel="stylesheet" media="print" href="css/print.css">
</head>
<body>
<header>
<nav class=" no-js navbar navbar-default" id="navbar">
<div class="container" id="primary-nav">
<div class="navbar-header">
<a class="navbar-brand site-title" href="index.html">CLP Lab</a>
<a href="#navbar-collapse" class="navbar-toggle collapsed" data-toggle="collapse" aria-expanded="false" aria-controls="navbar">
<span class="sr-only">Navigation</span>
<span class="icon-bar"></span>
<span class="icon-bar"></span>
<span class="icon-bar"></span>
</a>
</div>
<div id="navbar-collapse" class="navbar-collapse navbar-right collapse">
<a class="navbar-collapse-close" href="#navbar">Close menu</a>
<ul class="nav navbar-nav">
<li><a href="index.html" >Home</a></li>
<li><a href="members.html">Members</a></li>
<li>
<a href="projects.html">Projects</a>
<ul>
<li><a href="projects/indamgncs-2015.html">INDAM/GNCS 2015</a></li>
<li><a href="projects/indamgncs-2014.html">INDAM/GNCS 2014</a></li>
<li><a href="projects/indamgncs-2011.html">INDAM/GNCS 2011</a></li>
<li><a href="projects/indamgncs-2010.html">INDAM/GNCS 2010</a></li>
<li><a href="projects/indamgncs-2005.html">INDAM/GNCS 2005</a></li>
</ul>
</li>
<li class="current-menu-item">
<a href="software.html">Software</a>
<ul>
<li><a href="#">CP on GPU</a></li>
<li><a href="#">CUD@SAT</a></li>
<li><a href="#">Planning</a></li>
<li><a href="#">GELATO</a></li>
<li><a href="#">Coinduction and Bisimulation</a></li>
</ul>
</li>
<li><a href="events.html">Events</a></li>
<li><a href="news.html">News</a></li>
<li><a href="contacts.html">Contacts</a></li>
</ul>
</div><!--/.nav-collapse -->
</div><!--/.container-fluid -->
</nav>
</header>
<div class="breadcrumbs">
<div class="container">
<span><a href="index.html">Home</a></span>
<i class="fa fa-angle-right"></i>
<span>Software</span>
</div>
</div>
<div class="container" id="software">
<div class="row">
<div class="col-md-12">
<h1>Software</h1>
<p class="intro">The group has developed<br />
several pieces of free Software.</p>
<ul class="tree-ul">
<li><a href="#"><span>Planning software</span></a></li>
<li><a href="#"><span>CP on GPU</span></a></li>
<li><a href="#"><span>GELATO</span></a></li>
<li class="strange"><a href="#"><span>Coinduction<br>and<br>Bisimulation</span></a></li>
<li><a href="#"><span>CUD@SAT</span></a></li>
</ul>
</div>
</div>
<div class="row">
<div class="col-sm-6">
<h2 id="software-h2">Other Software collaboration development</h2>
</div>
<div class="col-sm-6" id="col-img-background">
<ul id="software-ul">
<li><a href="http://www.cs.nmsu.edu/fiasco/" target="_blank">FIASCO</a></li>
<li><a href="http://users.dimi.uniud.it/~agostino.dovier/CLPASP/" target="_blank">Constraint Logic
Programming tools
for planning</a></li>
<li><a href="http://www2.unipr.it/~dalpalu/COLA/" target="_blank">Protein Structure
Prediction on Lattice</a></li>
<li><a href="http://www.math.unipr.it/~gianfr/setlog.Home.html" target="_blank">{log}: Constraint Logic
Programming with Sets</a></li>
</ul>
</div>
</div>
</div>
<footer>
<div class="col-sm-6 left-footer">
<p>
University of Udine © 2015<br />
All rights reserved
</p>
</div>
<div class="col-sm-6 right-footer">
<p>
<a href="#">Credits</a>
</p>
</div>
</footer>
</body>
</html>