aboutsummaryrefslogtreecommitdiff log msg author committer range BranchCommit messageAuthorAge masterDisables the "inferred" feature by default.nsensfel5 years time-domains-calculatorStarts the Time Domains Calculator.Nathanael Sensfelder5 years instance-calculatorEnables verbose mode.Nathanael Sensfelder5 years improved_makefilesFor some reason, CNE_01700 no longer works.Nathanael Sensfelder5 years skol_only_the_solutionTagged variables are now the only skolemized vars.Nathanael Sensfelder5 years AgeCommit messageAuthor 2017-10-31Disables the "inferred" feature by default.HEADmasternsensfel 2017-10-31Adds error when no data is fed to parser.nsensfel 2017-10-31Adds a Java version of prop-to-pred.nsensfel 2017-09-27Limits the creation of atom-relations to "String".Nathanael Sensfelder 2017-09-26Adds some missing files.Nathanael Sensfelder 2017-09-25Fixes dependency rule issues.Nathanael Sensfelder 2017-09-25Updates Tests, fixes 2 properties & inferred/*.modNathanael Sensfelder 2017-09-21Got some property dependencies to work.Nathanael Sensfelder 2017-09-20Solves the missing solutions bug. Starts PropDeps.Nathanael Sensfelder 2017-09-20Adds comments to CNE_01700.Nathanael Sensfelder [...] Clone https://git.noot-noot.org/clone/tabellion