softsat's People
softsat's Issues
Move common functions into utility class(es)
See notes in code
SampleSat: try storing last assignment found to return to as default
E.g. explore for an additional (fixed) number of steps but cache the last satisfying assignment found at all steps to return as default. Or more generally experiment with different schemes here
Transition codebase to C++?
Make Data class more general
Currently the hard clusters / soft clauses format is actually flexible enough for a few things, but should be made more general
Counting of isSat in SampleSat is off...
Write code for running basic MC-SAT on weighted set of clauses
Also make simple input format for testing this. This is on the roadmap to taking in e.g. general factor graphs, MLN, etc.
Clean up HardSoftGenerator.java (e.g. get rid of VariableId, etc)
Implement basic JunctionTree MC-SAT
Asynchronous / parallel execution?
Write exact marginals test for MC-SAT?
Write connector from factor graph -> SAT clause input
E.g. to take binary fg file from DD as input. This could be non-trivial in terms of recovering hard vs. soft weights, need to think this through further
Global support for fixed values i.e. evidence
Essentially have this but doing this hackey way is recipe for trouble... no immediate need for this for experiments yet though
Recommend Projects
-
React
A declarative, efficient, and flexible JavaScript library for building user interfaces.
-
Vue.js
๐ Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
-
Typescript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
-
TensorFlow
An Open Source Machine Learning Framework for Everyone
-
Django
The Web framework for perfectionists with deadlines.
-
Laravel
A PHP framework for web artisans
-
D3
Bring data to life with SVG, Canvas and HTML. ๐๐๐
-
Recommend Topics
-
javascript
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
-
web
Some thing interesting about web. New door for the world.
-
server
A server is a program made to process requests and deliver data to clients.
-
Machine learning
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
-
Visualization
Some thing interesting about visualization, use data art
-
Game
Some thing interesting about game, make everyone happy.
Recommend Org
-
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
-
Microsoft
Open source projects and samples from Microsoft.
-
Google
Google โค๏ธ Open Source for everyone.
-
Alibaba
Alibaba Open Source for everyone
-
D3
Data-Driven Documents codes.
-
Tencent
China tencent open source team.