Skip to content
GitLab
Explore
Sign in
Primary navigation
Search or go to…
Project
L
LogIA
Manage
Activity
Members
Labels
Plan
Issues
0
Issue boards
Milestones
Wiki
Code
Merge requests
0
Repository
Branches
Commits
Tags
Repository graph
Compare revisions
Snippets
Build
Pipelines
Jobs
Pipeline schedules
Artifacts
Deploy
Releases
Package Registry
Model registry
Operate
Environments
Terraform modules
Monitor
Incidents
Analyze
Value stream analytics
Contributor analytics
CI/CD analytics
Repository analytics
Model experiments
Help
Help
Support
GitLab documentation
Compare GitLab plans
Community forum
Contribute to GitLab
Provide feedback
Keyboard shortcuts
?
Snippets
Groups
Projects
Show more breadcrumbs
aalbert
LogIA
Merge requests
!8
Resolve "add horn sat algorithm"
Code
Review changes
Check out branch
Download
Patches
Plain diff
Merged
Resolve "add horn sat algorithm"
5-add-horn-sat-algorithm
into
main
Overview
0
Commits
40
Pipelines
0
Changes
10
Merged
aalbert
requested to merge
5-add-horn-sat-algorithm
into
main
2 years ago
Overview
0
Commits
40
Pipelines
0
Changes
5
Expand
Closes
#5 (closed)
Closes
#4 (closed)
Edited
2 years ago
by
aalbert
👍
0
👎
0
Merge request reports
Compare
version 15
version 38
96deb648
2 years ago
version 37
472e21b6
2 years ago
version 36
673bbf6b
2 years ago
version 35
c078d9e0
2 years ago
version 34
6c431a7b
2 years ago
version 33
0e14aed4
2 years ago
version 32
d2000951
2 years ago
version 31
766c4f2f
2 years ago
version 30
6157b49b
2 years ago
version 29
cb6ef692
2 years ago
version 28
8ed1bc88
2 years ago
version 27
c22328a9
2 years ago
version 26
479c9dba
2 years ago
version 25
99aa8643
2 years ago
version 24
3935205d
2 years ago
version 23
8c881c1e
2 years ago
version 22
202d76a8
2 years ago
version 21
5be3ee3b
2 years ago
version 20
327183c6
2 years ago
version 19
b4feb844
2 years ago
version 18
34bb7f41
2 years ago
version 17
b002740c
2 years ago
version 16
5e7b0346
2 years ago
version 15
c145ebe4
2 years ago
version 14
c8a8f288
2 years ago
version 13
7ada20a7
2 years ago
version 12
f84282bd
2 years ago
version 11
2d5f344f
2 years ago
version 10
96657974
2 years ago
version 9
b902af33
2 years ago
version 8
b84684c3
2 years ago
version 7
b286945f
2 years ago
version 6
37e6bd4b
2 years ago
version 5
9e3db17c
2 years ago
version 4
c2a6bd98
2 years ago
version 3
99a0c0ac
2 years ago
version 2
a43cb6e6
2 years ago
version 1
e19dcdef
2 years ago
main (base)
and
version 20
latest version
ad6e573f
40 commits,
2 years ago
version 38
96deb648
39 commits,
2 years ago
version 37
472e21b6
38 commits,
2 years ago
version 36
673bbf6b
37 commits,
2 years ago
version 35
c078d9e0
36 commits,
2 years ago
version 34
6c431a7b
35 commits,
2 years ago
version 33
0e14aed4
34 commits,
2 years ago
version 32
d2000951
33 commits,
2 years ago
version 31
766c4f2f
32 commits,
2 years ago
version 30
6157b49b
31 commits,
2 years ago
version 29
cb6ef692
30 commits,
2 years ago
version 28
8ed1bc88
29 commits,
2 years ago
version 27
c22328a9
28 commits,
2 years ago
version 26
479c9dba
27 commits,
2 years ago
version 25
99aa8643
26 commits,
2 years ago
version 24
3935205d
25 commits,
2 years ago
version 23
8c881c1e
24 commits,
2 years ago
version 22
202d76a8
23 commits,
2 years ago
version 21
5be3ee3b
22 commits,
2 years ago
version 20
327183c6
21 commits,
2 years ago
version 19
b4feb844
19 commits,
2 years ago
version 18
34bb7f41
18 commits,
2 years ago
version 17
b002740c
17 commits,
2 years ago
version 16
5e7b0346
16 commits,
2 years ago
version 15
c145ebe4
15 commits,
2 years ago
version 14
c8a8f288
14 commits,
2 years ago
version 13
7ada20a7
13 commits,
2 years ago
version 12
f84282bd
12 commits,
2 years ago
version 11
2d5f344f
11 commits,
2 years ago
version 10
96657974
10 commits,
2 years ago
version 9
b902af33
9 commits,
2 years ago
version 8
b84684c3
8 commits,
2 years ago
version 7
b286945f
7 commits,
2 years ago
version 6
37e6bd4b
6 commits,
2 years ago
version 5
9e3db17c
5 commits,
2 years ago
version 4
c2a6bd98
4 commits,
2 years ago
version 3
99a0c0ac
3 commits,
2 years ago
version 2
a43cb6e6
2 commits,
2 years ago
version 1
e19dcdef
1 commit,
2 years ago
Show latest version
5 files
+
209
−
52
Inline
Compare changes
Side-by-side
Inline
Show whitespace changes
Show one file at a time
Files
5
Search (e.g. *.vue) (Ctrl+P)
project1/bin/dune
+
3
−
0
Options
@@ -2,3 +2,6 @@
(public_name project1)
(name main)
(libraries dolmen lib))
(env
(dev
(flags (:standard -w -8))))
Loading