Bump version.

HarvardPL · Sep 22, 2020 · e9a53be · e9a53be
1 parent fa6953d
commit e9a53be
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 3 deletions.
diff --git a/changelog.md b/changelog.md
@@ -1,14 +1,13 @@
 # Changelog
 All notable changes to this project will be documented in this file.
 
-## [Unreleased]
+## [0.4.0] - 2020-09-22
 ### Added
 - Eager semi-naive evaluation algorithm.
 - SMT manager that uses push and pop.
 - Naive SMT manager that does not do any form of caching.
 - Optimal index selection.
 - Ability to interface with different solvers and set logic.
-- Ability to use alternate solvers (CVC4, Yices 2, Boolector).
 
 ### Changed
 - Accept .tsv fact files instead of .csv files.

diff --git a/pom.xml b/pom.xml
@@ -4,7 +4,7 @@
 	<modelVersion>4.0.0</modelVersion>
 	<groupId>edu.harvard.seas.pl</groupId>
 	<artifactId>formulog</artifactId>
-	<version>0.3.0-SNAPSHOT</version>
+	<version>0.4.0-SNAPSHOT</version>
 	<name>formulog</name>
 	<properties>
 		<project.build.sourceEncoding>UTF-8</project.build.sourceEncoding>