strlst/uni

strlst ec6d61d94c something something		3 years ago
..
3-sat	7faa790602 added 3-sat curiosity	3 years ago
ue1	ec6d61d94c something something	3 years ago
ue2	1960f3d42a minor addition	3 years ago
ue3	10ec64634b sysver: ue3 added	3 years ago
.gitignore	8de6e33ee3 sysver: ue1	3 years ago