visualon/sat4j.net visualon/sat4j.net

  • This repository has been archived on 11/Jul/2022
  • Stars
    star
    1
  • Language
    PowerShell
  • License
    Eclipse Public Li...
  • Created over 7 years ago
  • Updated over 2 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
visualon/sat4j.net
github

visualon

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

Sat4j is a full featured boolean reasoning library designed to bring state-of-the-art SAT technologies to the Java Virtual Machine.

More Repositories

1

lidgren-network-gen3

Do not use this repo!
C#
10
star
2

docker-watchtower

containrrr/watchtower docker images
Dockerfile
6
star
3

renovate-config

Shared renovate presets
5
star
4

OpenXmlPowerTools-old

Do not use this repo!
C#
5
star
5

cssparser

CSS Parser for .NET
C#
5
star
6

docker-images

Multiple autobuild docker images
Dockerfile
4
star
7

dday.ical

Clone of the sf.net SVN repository for the DDay.iCal project http://www.ddaysoftware.com/Pages/Projects/DDay.iCal
C#
3
star
8

docker-buildpack

Docker base image
PowerShell
2
star
9

docker-drone-git

A Drone CI compatible git image
PowerShell
2
star
10

docker-renovate

Custom renovate images with some prepared tools
HCL
1
star
11

crypto

Tests for Crypto Obfuscator
C#
1
star
12

Unity.SharePoint

Unity for SharePoint
C#
1
star
13

featureide.net

IKVM compiled dotnet version of the FeatureIDE library
C#
1
star
14

gitea-releaser

Create a Gitea / Forgejo release from Jenkins env
JavaScript
1
star